Source review in progress

Mathematical Theorem Proving & Formal Verification AI

Lean 4, Isabelle provers, AlphaProof, AlphaGeometry, and neuro-symbolic automated deduction

This brief is being checked against individual publications, benchmarks and methods. Its earlier generated source list and confidence labels did not meet the publication standard. The topic remains available here while the evidence is reviewed.