About the role
Get paid up to $150/hr to formalize cutting-edge math proofs in Lean — help push the frontier of AI reasoning. Remote & flexible....
The platform supplies a short summary. Read the full requirements on the original listing.
alignerr · STEM
Mathematical Formalization Specialist
Alignerr