Learning to Coordinate Symbolic Tools: LLM Agents for Verified Sum-of-Squares Certificates
arXiv:2608.00326v2 Announce Type: replace Abstract: Tool calling allows large language models (LLMs) to invoke external computation during problem solving, a useful capability in various fields includ