Showing cs.AIShow all
2 papers · 1 filter
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…
cs.AI2026
Human agency in initial human-AI proof formalization workflows
Katherine M. Collins, Simon Frieder, Jonas Bayer +14
For centuries, human mathematicians have written proofs to substantiate their mathematical arguments; yet, the ability to automatically verify the validity of proofs has long been…