cs.LO cs.AI cs.LG math.LO F.4.1; I.2.3; I.2.7
Pantograph: A Machine-to-Machine Interaction Interface for Advanced Theorem Proving, High Level Reasoning, and Data Extraction in Lean 4
Leni Aniva Chuyue Sun Brando Miranda Clark Barrett Sanmi Koyejo