@misc{indiciae94a3053cff6e,
  title = {Pantograph: A Machine-to-Machine Interaction Interface for Advanced Theorem Proving, High Level Reasoning, and Data Extraction in Lean 4},
  author = {Leni Aniva and Chuyue Sun and Brando Miranda and Clark Barrett and Sanmi Koyejo},
  year = {2025},
  url = {https://arxiv.org/abs/2410.16429},
  note = {Source identifier: 2410.16429}
}