@article{chen2026symbolictools,
  title = {Learning to Coordinate Symbolic Tools: LLM Agents for Verified Sum-of-Squares Certificates},
  author = {Chen, Bohan and Patel, Shivam N. and Hoffmann, Richard and Looi, Sam and Yu, Tony Yue},
  journal = {arXiv preprint arXiv:2608.00326},
  year = {2026},
  archivePrefix = {arXiv},
  eprint = {2608.00326},
  primaryClass = {cs.AI},
  doi = {10.48550/arXiv.2608.00326},
  url = {https://arxiv.org/abs/2608.00326}
}