Entities · Models
Lean 4
5 articles tagged with this entity.
-
Beyond the Library: An Agentic Framework for Autoformalizing Research Mathematics
-
AXLE: A Cloud Infrastructure for Lean 4 Theorem Proving Utilities
-
On Compositional Learning Behaviours in Formal Mathematics
-
Keep the Proof State Live: Snapshotting for Efficient Tactic Search in Lean 4
-
Decompose, Structure, and Repair: A Neuro-Symbolic Framework for Autoformalization via Operator Trees