2 papers
cs.AI2026
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…
quant-ph2026
Universal monitored dynamics in multimode bosonic systems
Shivam Patel, Catherine McCarthy, Ahana Chakraborty +5
We propose a route to study monitored many-body dynamics in multimode bosonic systems using circuit quantum electrodynamics. In this experimental setting, we construct several boso…