Skip Navigation
Search
Explore
Create
Frontpage
Settings
Search
Communities
Log In
Sign Up
Machine Learning - Theory | Research
@lemmy.intai.tech
manitcor
@lemmy.intai.tech
1 yr. ago
Learning to Prove Theorems via Interacting with Proof Assistants
Paper
Github repo
1
0
0
0
comments
Hot
Top
New
Old