Cita APA (7a ed.)

Anand, A., Chatzi, I., Raha, R., & Schmuck, A. (2026). MANTRA: Synthesizing SMT-Validated Compliance Benchmarks for Tool-Using LLM Agents.

Cita Chicago Style (17a ed.)

Anand, Ashwani, Ivi Chatzi, Ritam Raha, y Anne-Kathrin Schmuck. MANTRA: Synthesizing SMT-Validated Compliance Benchmarks for Tool-Using LLM Agents. 2026.

Cita MLA (9a ed.)

Anand, Ashwani, et al. MANTRA: Synthesizing SMT-Validated Compliance Benchmarks for Tool-Using LLM Agents. 2026.