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!
Show more
