Entities · Products
Lean
5 articles tagged with this entity.
-
Aria: An Agent For Retrieval and Iterative Auto-Formalization via Dependency Graph
-
Beyond the Library: An Agentic Framework for Autoformalizing Research Mathematics
-
Faults in Our Formal Benchmarking: Dataset Defects and Evaluation Failures in Lean Theorem Proving
-
SorryDB: Can AI Provers Complete Real-World Lean Theorems?
-
LeanMarathon: Toward Reliable AI Co-Mathematicians through Long-Horizon Lean Autoformalization