Carlos Miguel Patiño(@cmpatino_):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!

Carlos Miguel Patiño

@cmpatino_

🇨🇴 Post-Training @huggingface

가입 May 2010

738 팔로잉 중 793 팬

Carlos Miguel Patiño@cmpatino_

2026.08.06 13:03

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!