@misc{indiciae7985535b5c0e,
  title = {Learning to Coordinate Symbolic Tools: LLM Agents for Verified Sum-of-Squares Certificates},
  author = {Bohan Chen and Shivam N. Patel and Richard Hoffmann and Sam Looi and Tony Yue Yu},
  year = {2026},
  url = {https://arxiv.org/abs/2608.00326},
  note = {Source identifier: 2608.00326}
}