| Publication date | Communities | Collections | Article title | Author(s) | Journal/Conference |
|---|---|---|---|---|---|
| 22 Sep 2025 | SERC | Institute for Infocomm Research | Verification of the CVM Algorithm with a Functional Probabilistic Invariant | Emin Karayel, Seng Joe Watt, Derek Khu, Kuldeep S. Meel, Yong Kiam Tan | International Conference on Interactive Theorem Proving (ITP) |