From e845cb3e6129d3dd59b6fc5d9ea5bd7bb894057d Mon Sep 17 00:00:00 2001 From: Reynald Affeldt Date: Mon, 10 Aug 2026 09:34:32 +0900 Subject: [PATCH 1/2] add papers by Sirman --- README.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/README.md b/README.md index 02a810b87a..22129870ca 100644 --- a/README.md +++ b/README.md @@ -99,10 +99,12 @@ Other work using MathComp-Analysis: - [Taming Differentiable Logics with Coq Formalisation](https://drops.dagstuhl.de/storage/00lipics/lipics-vol309-itp2024/LIPIcs.ITP.2024.4/LIPIcs.ITP.2024.4.pdf) (2024) - [Décomposition Algébrique Cylindrique en Coq/Rocq](https://inria.hal.science/hal-04859512/document) (2025) - [Semantics of Probabilistic Programs using s-Finite Kernels in Dependent Type Theory](https://dl.acm.org/doi/pdf/10.1145/3732291) (2025) +- [Vancomycert: A Certified Neuro-Symbolic Drug Delivery System (Case Study)](https://doi.org/10.1007/978-3-032-32357-6_16) (2025) - [A Formal Foundation for Equational Reasoning on Probabilistic Programs](https://staff.aist.go.jp/reynald.affeldt/documents/eddy_aplas2025.pdf) (2025) doi:[10.1007/978-981-95-3585-9_3](https://doi.org/10.1007/978-981-95-3585-9_3) - [Cylindrical Algebraic Decomposition in Coq/Rocq](https://dl.acm.org/doi/pdf/10.1145/3779031.3779100) (2026) doi:[10.1145/3779031.3779100](https://doi.org/10.1145/3779031.3779100) +- [Compositional Neural-Cyber-Physical System Verification in the Interactive Theorem Prover of Your Choice](https://arxiv.org/abs/2605.02790) ## About the stability of this library From adefa74fb97bba6f20bba7177206fbda7dde6b3f Mon Sep 17 00:00:00 2001 From: Reynald Affeldt Date: Mon, 10 Aug 2026 09:39:16 +0900 Subject: [PATCH 2/2] fix --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 22129870ca..d965e18da2 100644 --- a/README.md +++ b/README.md @@ -104,7 +104,7 @@ Other work using MathComp-Analysis: doi:[10.1007/978-981-95-3585-9_3](https://doi.org/10.1007/978-981-95-3585-9_3) - [Cylindrical Algebraic Decomposition in Coq/Rocq](https://dl.acm.org/doi/pdf/10.1145/3779031.3779100) (2026) doi:[10.1145/3779031.3779100](https://doi.org/10.1145/3779031.3779100) -- [Compositional Neural-Cyber-Physical System Verification in the Interactive Theorem Prover of Your Choice](https://arxiv.org/abs/2605.02790) +- [Compositional Neural-Cyber-Physical System Verification in the Interactive Theorem Prover of Your Choice](https://arxiv.org/abs/2605.02790) (2026) ## About the stability of this library