notesum.ai

Published at October 21

Pantograph: A Machine-to-Machine Interaction Interface for Advanced Theorem Proving, High Level Reasoning, and Data Extraction in Lean 4

cs.AI
cs.MA
cs.RO
I.2.6; I.2.8

Released Date: October 21, 2024

Authors: Leni Aniva1, Chuyue Sun1, Brando Miranda1, Clark Barrett1, Sanmi Koyejo1

Aff.: 1Stanford University

Arxiv: https://arxiv.org/abs/2410.16429v1