Benchmarks
Tasks that test paper reading, derivation checking, assumptions, and useful failure modes.
About
Research infrastructure for AI and theory.
AI4Theory focuses on benchmarks, formalization paths, and workflow tools for theoretical physics.
Scope
Formalization
Claims, definitions, equations, and dependencies made inspectable and checkable.
Workflow automation
Tools for literature mapping, reference work, equation work, and research triage.