| 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) |
| 7 Aug 2025 | SERC | Institute for Infocomm Research | Efficient Certified Reasoning for Binarized Neural Networks | Jiong Yang, Yong Kiam Tan, Mate Soos, Magnus O. Myreen, Kuldeep S. Meel | International Conference on Theory and Applications of Satisfiability Testing (SAT) |
| 25 Jul 2024 | SERC | Institute for Infocomm Research | Formally Certified Approximate Model Counting | Yong Kiam Tan, Jiong Yang, Mate Soos, Magnus O. Myreen, Kuldeep S. Meel | Lecture Notes in Computer Science |