ML Newsnew | past | best | rss | submit about
Stories from April 26, 2020 (UTC)
Go back a day, month, or year. Go forward a day.
1. Learning to Prove Theorems via Interacting with Proof Assistants (arxiv.org)
13 points by ColinWright on Apr 26, 2020 | hide | past | pdf | 1 comment
About | RSS | RSS (all) | HN arXiv