Projects in Awesome Lists tagged with autoformalization
A curated list of projects in awesome lists tagged with autoformalization .
https://github.com/augustepoiroux/leaninteract
LeanInteract: A Python Interface for Lean 4
autoformalization lean4 machine-learning python theorem-proving
Last synced: 02 Nov 2025
https://github.com/loganrjmurphy/LeanEuclid
LeanEuclid is a benchmark for autoformalization in the domain of Euclidean geometry, targeting the proof assistant Lean.
autoformalization euclidean-geometry formalization lean4 llm-evaluation theorem-proving
Last synced: 22 Jul 2025
https://github.com/fraware/cta-benchmark
CTA-Bench: research benchmark and toolkit for studying how well systems turn problem descriptions and reference code into Lean 4 proof obligations, and how faithful those obligations are to the intended algorithm.
ai-evaluation autoformalization benchmark evaluation-methodology formal-verification lean program-verification semantic-faithfulness theorem-proving
Last synced: 09 Jun 2026
