TY  - RPRT
TI  - Pantograph: A Machine-to-Machine Interaction Interface for Advanced Theorem Proving, High Level Reasoning, and Data Extraction in Lean 4
AU  - Leni Aniva
AU  - Chuyue Sun
AU  - Brando Miranda
AU  - Clark Barrett
AU  - Sanmi Koyejo
PY  - 2025
UR  - https://arxiv.org/abs/2410.16429
ID  - 2410.16429
ER  -