Training a deep-learning engine on Coq proofs, to get a computer to do the proof-script construction (=manual) part of using a proof assistant https://arxiv.org/abs/1905.09381
Replying to @HigherGeometer
Related: Jason Rute recently gave a great overview of AI approaches to theorem proving in this Lean zulip chat thread: https://leanprover-community.github.io/archive/113488general/41431AIandtheoremproving.html …
7:20 PM - 28 May 2019
0 replies
0 retweets
1 like
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.