Keyword:proof verification

Publications
Benchmarking LLMs Against TPTP: A Vision for the Near Future Andrija Urošević, Gordan Đurić and Sana Stojanović-Đurđević In:Proceedings of 16th International Workshop on the Implementation on Logics. Proceedings of the 26th Conference on Logic for Programming, Artificial Intelligence, and Reasoning (short papers)
Formal Verification of Proofs from Automated Theorem Provers for Higher-Order Logic Melanie Taprogge, Frédéric Blanqui and Alexander Steen In:Proceedings of the 26th Conference on Logic for Programming, Artificial Intelligence, and Reasoning