Author

Tobias Philipp

h-index 9 View on Semantic Scholar

We have 1 of 32 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.

Review Jul 2026

The Prover Is the Judge: Verified Security Software from AI Coding Agents in Ada/SPARK

What an agent can be trusted to establish is bounded by the strength of its feedback, and the central lesson is what an agent can be trusted to establish is bounded by the strength of its feedback.

Tobias Philipp · arXiv.org · 0 citations