https://research.tue.nl/en/publications/initial-experiments-with-tptp-style-automated-theorem-provers-on-/fingerprints/
Initial experiments with TPTP-style automated theorem provers on ACL2 problems - Fingerprint -...
https://www.nist.gov/news-events/events/2014/11/draining-five-gallon-test-measures-and-provers-0
Draining Five Gallon Test Measures and Provers | NIST
Jul 23, 2020 - This 1 hour webinar will reinforce the concepts of properly draining 5 gallon test measures and provers.
drainingfivegallontestmeasures
https://research.birmingham.ac.uk/en/publications/a-qualitative-comparison-of-the-suitability-of-four-theorem-prove/
A Qualitative Comparison of the Suitability of Four Theorem Provers for Basic Auction Theory -...
https://www.fos.kuis.kyoto-u.ac.jp/mailman3/hyperkitty/list/logic-ml@fos.kuis.kyoto-u.ac.jp/thread/RJJP6XFT3FLYOGQEEKN6NPNGQCA5RCDF/
IWC 2014 & CoCo 2014: First Call for Papers and Provers - Logic-ml - fos.kuis.kyoto-u.ac.jp
https://www.fos.kuis.kyoto-u.ac.jp/mailman3/hyperkitty/list/logic-ml@fos.kuis.kyoto-u.ac.jp/thread/RSXWCPBP45SH6QEF7ACZAXTAFLKTUIKG/?sort=thread
IWC 2012 & CoCo 2012: Call for Participation and Provers - Logic-ml - fos.kuis.kyoto-u.ac.jp
https://ml4sp.github.io/2025/
Machine Learning for Solvers and Provers (ML4SP)
JMS 630 (please watch for possible last-minute room changes onsite) James McCune Smith Learning Hub, University of Glasgow, Glasgow, Scotland Sunday, 10...
machine learningsolversprovers
https://researchportalplus.anu.edu.au/en/publications/automated-theorem-provers-help-improve-large-language-model-reaso/
Automated Theorem Provers Help Improve Large Language Model Reasoning - The Australian National...
large language model