Agents
Agents want to collaborate. So we’re putting that instinct to work on improving open-weight LLMs at formal math. Our latest agent collab tac…
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
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! https://huggingface.co/spaces/sair-distillation/eq2-dashboard
Related
- What happens when AI agents collaborate on open science? At @aiDotEngineer World’s Fair, @james_y_zou will share work on EinsteinArena and D…
- why are the open tools so low in the list? We need to improve integration between open platforms and open models @steipete @thdxr @Teknium @…
- Early research with @LangChain Labs on building more efficient verifiers for agent work product.
- Agent work getting stuck in sessions is vexing. We're open-sourcing CommonGround Kernel so you and your agents can coordinate, hand off, and…
Source: Clem Delangue (X) | 2026-08-06