4 papers
Verification of Dynamic Holographic Behavior in Identity Documents
Glen Pouliquen, Joseph Chazalon, Guillaume Chiron +2
This paper addresses the remote verification of the authenticity of Optically Variable Devices (commonly known as holograms) on identity documents. Typically placed over the cardho…
Temporal Modeling of Optically Variable Devices in Identity Documents
Glen Pouliquen, Joseph Chazalon, Guillaume Chiron +3
Robust remote verification of identity documents relies on analyzing faint, transparent security features like Optically Variable Devices (OVDs), or "holograms", within user-captur…
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…
HistoriQA-ThirdRepublic: Multi-Hop Question Answering Corpus for Historical Research, Parliamentary Debates from the French Third Republic (1870-1940)
Aurélien Pellet, Julien Perez, Marie Puren
We present HistoriQA-ThirdRepublic: a French-language dataset of multi-hop historical questions derived from parliamentary debates and newspapers of the French Third Republic. Desi…