| Publication date | Communities | Collections | Article title | Author(s) | Journal/Conference |
|---|---|---|---|---|---|
| 7 Aug 2025 | SERC | Institute for Infocomm Research | Efficient Certified Reasoning for Binarized Neural Networks (Pending publish) | 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 |