Author

Pierluigi Nuzzo

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.

#artificial intelligence Sep 2026

Symbolic Temporal Supervision of LLM Agents Using Contracts

ContrAgent is presented, a contract-based framework for symbolic temporal supervision of LLM agents that matches state-of-the-art LLM-judge and rule-based guardrail baselines while producing deterministic, reproducible verdicts and, in the online mode, orders-of-magnitude lower per-call latency.

Yi-Feng Xiao, Pierluigi Nuzzo · arXiv.org · 2 citations