| 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 | Jiong Yang, Yong Kiam Tan, Mate Soos, Magnus O. Myreen, Kuldeep S. Meel | International Conference on Theory and Applications of Satisfiability Testing (SAT) |