Adrian Colyer (The Morning Paper) personal blog
Learning to prove theorems via interacting with proof assistants
Learning to prove theorems via interacting with proof assistants Yang & Deng, ICML’19 Something a little different to end the week: deep learning meets theorem proving! It’s been a while …
- Points
- 126
- HN comments
- 30
- Submissions
- 1
- Cited by
- 0 commenters
AI & Machine LearningSoftware Engineering2019
On Hacker News
| Submitted | Title on HN | Points | Comments |
|---|---|---|---|
| Aug 24, 2019 | Learning to prove theorems via interacting with proof assistants by pgunt | 126 | 30 |
