9 citations · 9 across the 2 of their papers we have counts for
2 papers
cs.LO2024
Learning Rules Explaining Interactive Theorem Proving Tactic Prediction
Liao Zhang, David M. Cerna, Cezary Kaliszyk
Formally verifying the correctness of mathematical proofs is more accessible than ever, however, the learning curve remains steep for many of the state-of-the-art interactive theor…
cs.AI2024★ 9 cited
Learning Guided Automated Reasoning: A Brief Survey
Lasse Blaauwbroek, David Cerna, Thibault Gauthier +4
Automated theorem provers and formal proof assistants are general reasoning systems that are in theory capable of proving arbitrarily hard theorems, thus solving arbitrary problems…