Machine Learning - Theory | Research @lemmy.intai.tech manitcor @lemmy.intai.tech 1 yr. ago

Learning to Prove Theorems via Interacting with Proof Assistants