Verified Reasoning

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