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