TY  - RPRT
TI  - Learning to Coordinate Symbolic Tools: LLM Agents for Verified Sum-of-Squares Certificates
AU  - Bohan Chen
AU  - Shivam N. Patel
AU  - Richard Hoffmann
AU  - Sam Looi
AU  - Tony Yue Yu
PY  - 2026
UR  - https://arxiv.org/abs/2608.00326
ID  - 2608.00326
ER  -