Symbolic constraints (programmatic, deterministic checks for tool calls) enable deterministic verification of LLM agents' tool calls, but existing approaches…
机构:UIUC
来源:arXiv 2610.25552 | AI4Papers 论文推荐平台