https://github.com/uclnlp/ntp
End-to-End Differentiable Proving
https://github.com/uclnlp/ntp
deep-learning nips-2017 prolog tensorflow
Last synced: 6 months ago
JSON representation
End-to-End Differentiable Proving
- Host: GitHub
- URL: https://github.com/uclnlp/ntp
- Owner: uclnlp
- License: apache-2.0
- Created: 2018-02-02T09:23:49.000Z (almost 8 years ago)
- Default Branch: master
- Last Pushed: 2018-11-21T09:48:17.000Z (about 7 years ago)
- Last Synced: 2025-05-14T07:50:18.776Z (8 months ago)
- Topics: deep-learning, nips-2017, prolog, tensorflow
- Language: NewLisp
- Homepage:
- Size: 6.4 MB
- Stars: 89
- Watchers: 8
- Forks: 19
- Open Issues: 1