COPRA

An AI mathematical proof project developed by Meta that explores the use of large language models to automatically generate formal proof scripts. The system integrates with formal verification frameworks to validate the generated proofs, combining language model capabilities with rigorous symbolic verification.