Author

Ioannis Protogeros

h-index 2 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 Aug 2026

Self-evolving network verifiers

Automating model growth shifts the hard problem from writing verification systems to systematically testing them; this work proposes a research agenda for trusting and harnessing automatically evolved verifiers.

Ioannis Protogeros, Tibor Schneider, Laurent Vanbever · 0 citations