1 citations
- Julien Perez2 profiles3 · h 9
- Glen Pouliquen2 · h 1
- Guillaume Chiron2 · h 8
- J. Chazalon2 · h 14
- L. Elkoussy2 · h 1
- Thierry Géraud2 · h 1
- Ahmad-Montaser Awal1 · h 3
- Ahmad Montaser Awal IDnow Research Center1 · h 0
- Aurélien Pellet1 · h 1
- Caroline Mazini Rodrigues1 · h 3
- Computer Vision Center1 · h 0
- Epita Research Lab1 · h 0
Showing cs.SEShow all
2 papers · 1 filter
cs.SE2026
AgentLTL: A Trace-Verification Framework for Measuring, Enforcing, and Training Procedural Compliance in Tool-Using LLM Agents
Laïla Elkoussy, Julien Perez
Tool-using LLM agents are usually evaluated by final-answer correctness or LLM judges. Neither captures how an answer was produced. In safety-critical settings, the procedure itsel…
cs.SE2026
SWE-QA: A Dataset and Benchmark for Complex Code Understanding
Laïla Elkoussy, Julien Perez
In this paper, we introduce SWE-QA, a text and code corpus aimed at benchmarking multi-hop code comprehension, addressing the gap between simplified evaluation tasks and the comple…