Author

Julien Perez

h-index 1 View on Semantic Scholar

We have 1 of 6 papers

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Preprint Jul 2026

AgentLTL: A Trace-Verification Framework for Measuring, Enforcing, and Training Procedural Compliance in Tool-Using LLM Agents

AgentLTL is introduced, a language derived from First-Order Linear Temporal Logic (FO-LTL) that expresses procedural rules over agent traces that yields a deterministic, judge-free compliance score and block-and-warn harnessing improves compliance on five of seven models.

L. Elkoussy, Julien Perez · 3 citations