About the role
Get paid up to $200/hr to formalize advanced math in Lean 4 — work at the frontier of formal verification and shape the future of AI reasoning....
The platform supplies a short summary. Read the full requirements on the original listing.