From 5ae953d529f6f0328ea2c55b2c7f79cd8e6c42ef Mon Sep 17 00:00:00 2001 From: Alessandro Bruni Date: Tue, 22 Sep 2026 15:51:25 +0200 Subject: [PATCH] ICFP + SAIV papers --- papers.org | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/papers.org b/papers.org index ebaa4aed..249f9431 100644 --- a/papers.org +++ b/papers.org @@ -475,6 +475,12 @@ This is a memo to serve in the event we change the sectioning ** Machine Learning +- Matthew L. Daggitt, Ekaterina Komendantskaya, Alistair Sirman, Alessandro Bruni, Samuel Teuber, Josh Smart, Grant Passmore. + _Compositional Neural-Cyber-Physical System Verification in the Interactive Theorem Prover of Your Choice_. + ICFP 2026. [[https://dl.acm.org/doi/pdf/10.1145/3828680][pdf]] +- Alistair Sirman, Fleur Conway, Jessica Ciupa, Gusts Gustavs Grīnbergs, Ekaterina Komendantskaya, Thai Son Hoang, Michael Rawson, Alessandro Bruni, Vaishak Belle, Michael John Williams. + _Vancomycert: A Certified Neuro-Symbolic Drug Delivery System (Case Study)_. + International Symposium on AI Verification (SAIV 2026). [[https://doi.org/10.1007/978-3-032-32357-6_16][doi]] - Reynald Affeldt, Alessandro Bruni, Ekaterina Komendantskaya, Natalia Ślusarz, Kathrin Stark. _Taming Differentiable Logics with Coq Formalisation_. ITP 2024. [[https://drops.dagstuhl.de/storage/00lipics/lipics-vol309-itp2024/LIPIcs.ITP.2024.4/LIPIcs.ITP.2024.4.pdf][pdf]]