Author

A. Lomuscio

h-index 43 View on Semantic Scholar

We have 1 of 243 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 Aug 2026

Formal Verification of Agentic Systems over Operational Data

It is shown that LLM-driven agents can violate this condition and introduced a canonical deployment wrapper that guarantees it for arbitrary base agents while preserving already-equivariant behaviour, and it is proved that computing canonical representations required by this construction is graph-isomorphism-hard.

Alejandro J. Mercado, A. Lomuscio · 0 citations