AI for Mathematics

Learning to Coordinate Symbolic Tools: LLM Agents for Verified Sum-of-Squares Certificates