Author

Julien Perez

View on Semantic Scholar

1 paper indexed here

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