Language Models in Formal Theorem Proving and Mathematical Verification

This report synthesises findings from 12 peer-reviewed papers addressing the following research question: How do language models perform on formal theorem proving and mathematical verification tasks v20. 11 claims were extracted from source literature; 11 were independently verified against retrieved documents. An automated multi-reviewer quality assessment produced a score of 9.0/10. This report is a machine-generated literature synthesis and does not constitute original research.

Research goal: How do language models perform on formal theorem proving and mathematical verification tasks v20

Autonomous literature synthesis. Automated review score: 9.0/10. Full text and citation available at Assignee Research.