TMAS: Scaling Test-Time Compute via Multi-Agent Synergy Paper • 2605.10344 • Published 3 days ago • 46
LongCat-Flash-Prover: Advancing Native Formal Reasoning via Agentic Tool-Integrated Reinforcement Learning Paper • 2603.21065 • Published Mar 22 • 77