TY  - RPRT
TI  - MANTRA: Synthesizing SMT-Validated Compliance Benchmarks for Tool-Using LLM Agents
AU  - Ashwani Anand
AU  - Ivi Chatzi
AU  - Ritam Raha
AU  - Anne-Kathrin Schmuck
PY  - 2026
UR  - https://arxiv.org/abs/2605.06334
ID  - 2605.06334
ER  -