SAIR Stage 2 Agent Collab
⚡
5
Making Open-Weight LLMs better at Formal Math
SAIRcompetition
SAIRcompetition
AI & ML interests
None yet
Recent Activity
liked a Space 29 days ago
sair-distillation/eq2-dashboard updated a dataset 4 months ago
SAIRfoundation/equational-theories-selected-problems updated a Space 4 months ago
SAIRfoundation/READMEOrganizations
liked a
Space 29 days ago
updated a
dataset 4 months ago
updated a
Space 4 months ago
updated a
dataset 4 months ago
published a
Space 4 months ago
liked a
dataset 5 months ago
published a
dataset 5 months ago
liked a
dataset 5 months ago
published a
dataset 5 months ago
updated a
dataset 5 months ago