309 citations
- Université Gustave EiffelFR5 papers
- École des hautes études en sciences socialesFR2 papers
- Huazhong University of Science and TechnologyCN2 papers
- Laboratoire d'Informatique Gaspard-MongeFR2 papers
- Systèmes d'Elevage Méditerranéens et Tropicaux - Laboratoire de Recherche sur le Développement de l'ElevageFR2 papers
- Université Libre de BruxellesBE2 papers
- Université Paris CitéFR2 papers
- University College LondonGB2 papers
- Adam Mickiewicz University in PoznańPL1 paper
- Amsterdam UMC Location Vrije Universiteit AmsterdamNL1 paper
- Astronomical Observatory of CapodimonteIT1 paper
- Astronomy and SpaceAU1 paper
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…