diff --git a/docs/Examples/MNISTAdd.rst b/docs/Examples/MNISTAdd.rst index 163144f..32f5c52 100644 --- a/docs/Examples/MNISTAdd.rst +++ b/docs/Examples/MNISTAdd.rst @@ -379,6 +379,7 @@ We present the results of ABL as follows, which include the reasoning accuracy ( - `NeurASP `_: An extension of answer set programs by treating the neural network output as the probability distribution over atomic facts; - `DeepProbLog `_: An extension of ProbLog by introducing neural predicates in Probabilistic Logic Programming; +- `LTN `_: A neural-symbolic framework that uses differentiable first-order logic language to incorporate data and logic; - `DeepStochLog `_: A neural-symbolic framework based on stochastic logic program. .. raw:: html @@ -410,6 +411,11 @@ We present the results of ABL as follows, which include the reasoning accuracy ( 97.1 2045 + + LTN + 97.4 + 251 + DeepStochLog 97.5 diff --git a/examples/mnist_add/README.md b/examples/mnist_add/README.md index 8642523..1acdb5a 100644 --- a/examples/mnist_add/README.md +++ b/examples/mnist_add/README.md @@ -54,6 +54,7 @@ We present the results of ABL as follows, which include the reasoning accuracy ( - [**NeurASP**](https://github.com/azreasoners/NeurASP): An extension of answer set programs by treating the neural network output as the probability distribution over atomic facts; - [**DeepProbLog**](https://github.com/ML-KULeuven/deepproblog): An extension of ProbLog by introducing neural predicates in Probabilistic Logic Programming; +- [**LTN**](https://github.com/logictensornetworks/logictensornetworks): A neural-symbolic framework that uses differentiable first-order logic language to incorporate data and logic. - [**DeepStochLog**](https://github.com/ML-KULeuven/deepstochlog): A neural-symbolic framework based on stochastic logic program. @@ -75,6 +76,11 @@ We present the results of ABL as follows, which include the reasoning accuracy ( + + + + + diff --git a/examples/mnist_add/mnist_add.ipynb b/examples/mnist_add/mnist_add.ipynb index 639cc2d..d1e3ba1 100644 --- a/examples/mnist_add/mnist_add.ipynb +++ b/examples/mnist_add/mnist_add.ipynb @@ -472,6 +472,7 @@ "We present the results of ABL as follows, which include the reasoning accuracy (the proportion of equations that are correctly summed), and the training time used to achieve this accuracy. These results are compared with the following methods:\n", "- [**NeurASP**](https://github.com/azreasoners/NeurASP): An extension of answer set programs by treating the neural network output as the probability distribution over atomic facts;\n", "- [**DeepProbLog**](https://github.com/ML-KULeuven/deepproblog): An extension of ProbLog by introducing neural predicates in Probabilistic Logic Programming;\n", + "- [**LTN**](https://github.com/logictensornetworks/logictensornetworks): A neural-symbolic framework that uses differentiable first-order logic language to incorporate data and logic.\n", "- [**DeepStochLog**](https://github.com/ML-KULeuven/deepstochlog): A neural-symbolic framework based on stochastic logic program." ] }, @@ -507,6 +508,11 @@ " \n", "\n", "\n", + " \n", + " \n", + " \n", + "\n", + "\n", " \n", " \n", " \n",
97.1 2045
LTN97.4251
DeepStochLog 97.52045
LTN97.4251
DeepStochLog97.5257