| Publication date | Communities | Collections | Article title | Author(s) | Journal/Conference |
|---|---|---|---|---|---|
| 30 Aug 2025 | SERC | Singapore Institute of Manufacturing Technology | Empowering the Additive Manufacturing Workforce: Industry-Government Collaborative Training, Reskilling Strategies, and Certification Pathways | Chen-Nan Sun, Huey Yuen Ng | Additive Manufacturing Teaching and Training Case Studies |
| 8 Aug 2025 | SERC | Institute for Infocomm Research | Practically Feasible Proof Logging for Pseudo-Boolean Optimization | Wietze Koops, Daniel Le Berre, Magnus O. Myreen, Jakob Nordström, Andy Oertel, Yong Kiam Tan, Marc Vinyals | International Conference on Principles and Practice of Constraint Programming (CP) |
| 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) |