From the 1 of 1 linked paper with an AI index.
1 paper
Tobias Philipp
The paper presents a workflow where AI coding agents generate low-level security software in Ada/SPARK and a formal prover (GNATprove) automatically checks correctness, demonstrati…