Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
1406.1559
Cited By
Initial Experiments with TPTP-style Automated Theorem Provers on ACL2 Problems
6 June 2014
Sebastiaan J. C. Joosten
C. Kaliszyk
Josef Urban
LRM
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Initial Experiments with TPTP-style Automated Theorem Provers on ACL2 Problems"
1 / 1 papers shown
Title
Machine Learning of Coq Proof Guidance: First Experiments
C. Kaliszyk
L. Mamane
Josef Urban
LRM
51
17
0
20 Oct 2014
1
