TY  - RPRT
TI  - Symbolic Constraint Agents: Mining Formal Tool-Call Constraints to Prevent Agent Errors
AU  - Jinu Lee
AU  - Shraddha Barke
PY  - 2026
UR  - https://arxiv.org/abs/2610.25552
ID  - 2610.25552
ER  -