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

Bohan Chen, Shivam N. Patel, Richard Hoffmann +2

Tool calling allows large language models (LLMs) to invoke external computation during problem solving, a useful capability in various fields including AI for mathematics. We study…