← Back to Gigs
仕事内容
Lean 4 Mathematical Formalization Expert
Day-to-day
- Seeking experts in Lean 4 to support AI training projects focused on mathematical reasoning, verification, and formal logic
Focus
- Support AI training projects focused on mathematical reasoning, verification, and formal logic
Details
Category
STEM Tutoring
Location
Remote
Employment Type
Freelance
Posted
2026/4/3