3 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…
cs.CR2024
Towards a low carbon proof-of-work blockchain
Agron Gemajli, Shivam Patel, Phillip G. Bradford
Proof of Work (PoW) blockchains burn a lot of energy. Proof-of-work algorithms are expensive by design and often only serve to compute blockchains. In some sense, carbon-based and…