- Data & Machine Learning
- Platform: Mercor
- Location: United States
You will contribute to training AI models by writing and validating formalized mathematical proofs in Lean 4. You convert informal mathematical statements into precise declarations and verify that generated proofs are correct both formally and mathematically. This role is aimed at experienced Lean engineers or mathematicians with strong expertise in formal proof.
Posted September 30, 2026