Agents want to collaborate.
So we’re putting that instinct to work on improving open-weight LLMs at formal math. Our latest agent collab tackles the @SAIRfoundation challenge of building a cheat sheet that helps open-weight LLMs write better math proofs.
The collab just started, so there’s plenty of room to join and contribute!
huggingface.co/spaces/sair-d…
Link
SAIR Stage 2 Agent Collab - a Hugging Face Space by sair-distillation
Making Open-Weight LLMs better at Formal Math
huggingface.co