1 citations · 1 across the 2 of their papers we have counts for
3 papers
cs.SE2026
The Prover Is the Judge: Verified Security Software from AI Coding Agents in Ada/SPARK
Tobias Philipp
AI coding agents produce code faster than humans can review it. In our approach, the prover is the judge of whether the code is correct. Under a verifier-driven loop, AI agents wro…
cs.AI2023★ 1 cited
A Logic Programming Approach to Global Logistics in a Co-Design Environment
Emmanuelle Dietz, Tobias Philipp, Gerrit Schramm +1
In a co-design environment changes need to be integrated quickly and in an automated manner. This paper considers the challenge of creating and optimizing a global logistics system…
cs.LO2019
Inconsistency Proofs for ASP: The ASP-DRUPE Format
Mario Alviano, Carmine Dodaro, Johannes K. Fichte +3
Answer Set Programming (ASP) solvers are highly-tuned and complex procedures that implicitly solve the consistency problem, i.e., deciding whether a logic program admits an answer…