Coq Formalization Model Evaluator
Coq Formalization Model Evaluator is a remote review track for evaluating AI outputs across coq formalization model research review reasoning,...
Human Data / Specialist network
Review role records, understand the stated terms, and choose when to begin AuraOne's specialist intake. A profile never becomes an application without a deliberate action.
AI Jobs / Specialist roles
Filter by discipline or search current specialist roles.
Coq Formalization Model Evaluator is a remote review track for evaluating AI outputs across coq formalization model research review reasoning,...
Coq Formalization Reasoning Reviewer is a remote review track for evaluating AI outputs across coq formalization reasoning research review reasoning,...
Formal Logic Model Evaluator is a remote review track for evaluating AI outputs across formal logic model research review reasoning, calculations, and...
Formal Logic Reasoning Reviewer is a remote review track for evaluating AI outputs across formal logic reasoning research review reasoning,...
Graduate Math Model Evaluator is a remote review track for evaluating AI outputs across graduate math model research review reasoning, calculations, and...
Graduate Math Reasoning Reviewer is a remote review track for evaluating AI outputs across graduate math reasoning research review reasoning,...
Lean Theorem Model Evaluator is a remote review track for evaluating AI outputs across lean theorem model research review reasoning, calculations, and...
Lean Theorem Reasoning Reviewer is a remote review track for evaluating AI outputs across lean theorem reasoning research review reasoning,...
Long-Horizon Planning Failure Analysis Reviewer is a remote review track for evaluating AI outputs across long horizon planning failure analysis...
Math and Analysis Expert is a remote review track for evaluating AI outputs across math and analysis research review reasoning, calculations, and...
Math Expert is a remote review track for evaluating AI outputs across math research review reasoning, calculations, and research workflows.
Math Expert (PhD) is a remote review track for evaluating AI outputs across math research review reasoning, calculations, and research workflows.
Math Specialist is a remote review track for evaluating AI outputs across math research review reasoning, calculations, and research workflows.
Math Tutoring AI Evaluator is a remote review track for evaluating AI outputs across math tutoring ai research review reasoning, calculations, and...
Math Tutoring Learning Content Reviewer is a remote review track for evaluating AI outputs across math tutoring learning content research review...
Number Theory Model Evaluator is a remote review track for evaluating AI outputs across number theory model research review reasoning, calculations, and...
Number Theory Reasoning Reviewer is a remote review track for evaluating AI outputs across number theory reasoning research review reasoning,...
Physics, Math, and Chemistry PhD (Top 50 Program, US/UK/CA) is a remote review track for evaluating AI outputs across chemistry reasoning, calculations,...
Create a specialist profile for review or read AuraOne company career information. Neither action submits you to an unselected role.