Author

Ioannis Protogeros

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 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