24-MAG LLC invites part-time independent consultants to contribute to large language model evaluation by designing advanced mathematics problems, performing rigorous reasoning, and developing computational tasks in Python.
You will review model-generated solutions, translate mathematical statements into Lean, and build formal-proof benchmarks for undergraduate through Ph.D.-level work, working remotely with flexible hours.
#J-18808-LjbffrPart-Time Remote Math Research & Proof Designer in new york at Unknown Company
This position is listed as part time and able to be worked remotely.