About the role
Get paid up to $200/hr to formalize advanced math proofs in Lean 4 for cutting-edge AI research. Remote, flexible, and built for serious mathematician...
The platform supplies a short summary. Read the full requirements on the original listing.