Symbolic Constraint Agents: Mining Formal Tool-Call Constraints to Prevent Agent Errors.

arXiv:2610.25552v1 Announce Type: new Abstract: Symbolic constraints (programmatic, deterministic checks for tool calls) enable deterministic verification of LLM agents' tool calls, but existing approaches primarily enforce predefined safety policies rather th