About the role
Put your Lean 4 expertise to work shaping the future of AI mathematical reasoning. Remote, flexible, and exceptionally well paid....
The platform supplies a short summary. Read the full requirements on the original listing.
alignerr · STEM
Lean 4 Mathematical Formalization Expert
Alignerr