Chainer implementation of FormulaNet
python
deep-learning
chainer
theorem-proving
graph-convolutional-networks
graph-embedding
premise-selection
-
Updated
Feb 16, 2020 - Python
Chainer implementation of FormulaNet
TextGraphs Shared Task on Natural Language Premise Selection
Premise Selection using OEIS portal
Add a description, image, and links to the premise-selection topic page so that developers can more easily learn about it.
To associate your repository with the premise-selection topic, visit your repo's landing page and select "manage topics."