Showing cs.AIShow all
2 papers · 1 filter
cs.AI2025
3D-Prover: Diversity Driven Theorem Proving With Determinantal Point Processes
Sean Lamont, Christian Walder, Amir Dezfouli +2
A key challenge in automated formal reasoning is the intractable search space, which grows exponentially with the depth of the proof. This branching is caused by the large number o…
cs.AI2024
BAIT: Benchmarking (Embedding) Architectures for Interactive Theorem-Proving
Sean Lamont, Michael Norrish, Amir Dezfouli +2
Artificial Intelligence for Theorem Proving has given rise to a plethora of benchmarks and methodologies, particularly in Interactive Theorem Proving (ITP). Research in the area is…