Skip Navigation
Log In
Sign Up
Settings
Guest
Accounts
Machine Learning - Theory | Research
@lemmy.intai.tech
manitcor
@lemmy.intai.tech
1y ago
Learning to Prove Theorems via Interacting with Proof Assistants
Paper
Github repo
3
0
0
0
comments
Hot
Top
New
Old
Controversial