/
lemmy.ml
Explore
Create
Machine Learning - Theory | Research
manitcor
•
1 year ago
•
100%
Learning to Prove Theorems via Interacting with Proof Assistants
Paper
Github repo
3
0
Comments
0