SAIR Foundation

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

SAIRcompetition  updated a dataset 3 days ago

SAIRfoundation/equational-theories-selected-problems

SAIRcompetition  new activity 18 days ago

SAIRfoundation/equational-theories-selected-problems:Add order5_austin subset (200 order-5 Austin-law problems, no ground truth)

SAIRcompetition  new activity 18 days ago

SAIRfoundation/equational-theories-selected-problems:Add order5_austin subset (200 order-5 Austin-law problems, no ground truth)

View all activity

Team members 3