SAIRfoundation/equational-theories-benchmark
Viewer • Updated • 120k • 414 • 9
SAIR Foundation
non-profit
Verified
AI & ML interests
Terence Tao and Nobel, Turing, Fields laureates advancing scientific discovery and guiding AI with scientific principles. Grounding intelligence. Scaling discovery.
Recent Activity
View all activity
Organization Card
The Foundation for Science and AI Research (SAIR) accelerates scientific discovery while building a deeper scientific foundation for AI.
A key open initiative at SAIR is SAIR Competitions, through which we make open data, benchmarks, tools, and models available to the community, and support collective exploration of frontier topics in AI x Science.
Join the first SAIR Competition, Mathematics Distillation Challenge.
models 0
None public yet