Space: sair-distillation/eq2-dashboard
title: SAIR Stage 2 Agent Collab
sdk: docker
short_description: Making Open-Weight LLMs better at Formal Math
hf_oauth: yes
hf_oauth_authorized_org: sair-distillation
hf_oauth_scopes: write-repos, email
hf_oauth_expiration_minutes: 43200
tags: agent-collab
Tags: docker, agent-collab, region:us