Towards building and evaluating a personalized location-based recommender system. - Rubing Duan; Rick Siow Mong Goh; Feng Yang 011; Yong Kiam Tan; Jesus F. B. Valenzuela (IEEE BigData, 2014)

A verified type system for CakeML. - Yong Kiam Tan; Scott Owens; Ramana Kumar (IFL, 2015)

Functional Big-Step Semantics. - Scott Owens; Magnus O. Myreen; Ramana Kumar; Yong Kiam Tan (ESOP, 2016)

A new verified compiler backend for CakeML. - Yong Kiam Tan; Magnus O. Myreen; Ramana Kumar; Anthony C. J. Fox; Scott Owens; Michael Norrish (ICFP, 2016)

Improved Recurrent Neural Networks for Session-based Recommendations. - Yong Kiam Tan; Xinxing Xu; Yong Liu 026 (DLRS@RecSys, 2016)

Multi-Modal Hybrid Deep Neural Network for Speech Enhancement. - Zhenzhou Wu; Sunil Sivadas; Yong Kiam Tan; Bin Ma 001; Rick Siow Mong Goh (CoRR, 2016)

Verified compilation of CakeML to multiple machine-code targets. - Anthony C. J. Fox; Magnus O. Myreen; Yong Kiam Tan; Ramana Kumar (CPP, 2017)

Verifying efficient function calls in CakeML. - Scott Owens; Michael Norrish; Ramana Kumar; Magnus O. Myreen; Yong Kiam Tan (Proc. ACM Program. Lang., 2017)

ARCH-COMP18 Category Report: Hybrid Systems Theorem Proving. - Stefan Mitsch; Andrew Sogokon; Yong Kiam Tan; André Platzer; Hengjun Zhao; Xiangyu Jin; Shuling Wang 003; Naijun Zhan (ARCH@ADHS, 2018)

Proof-Producing Synthesis of CakeML with I/O and Local State from Monadic HOL Functions. - Son Ho; Oskar Abrahamsson; Ramana Kumar; Magnus O. Myreen; Yong Kiam Tan; Michael Norrish (IJCAR, 2018)

Vector Barrier Certificates and Comparison Systems. - Andrew Sogokon; Khalil Ghorbal; Yong Kiam Tan; André Platzer (FM, 2018)

Differential Equation Axiomatization: The Impressive Power of Differential Ghosts. - André Platzer; Yong Kiam Tan (LICS, 2018)

VeriPhy: verified controller executables from verified cyber-physical system models. - Rose Bohrer; Yong Kiam Tan; Stefan Mitsch; Magnus O. Myreen; André Platzer (PLDI, 2018)

ARCH-COMP19 Category Report: Hybrid Systems Theorem Proving. - Stefan Mitsch; Andrew Sogokon; Yong Kiam Tan; Xiangyu Jin; Bohua Zhan; Shuling Wang 003; Naijun Zhan (ARCH@CPSIoTWeek, 2019)

Pegasus: A Framework for Sound Continuous Invariant Generation. - Andrew Sogokon; Stefan Mitsch; Yong Kiam Tan; Katherine Cordwell; André Platzer (FM, 2019)

An Axiomatic Approach to Liveness for Differential Equations. - Yong Kiam Tan; André Platzer (FM, 2019)

Verified compilation on a verified processor. - Andreas Lööw; Ramana Kumar; Yong Kiam Tan; Magnus O. Myreen; Michael Norrish; Oskar Abrahamsson; Anthony C. J. Fox (PLDI, 2019)

The Poincaré-Bendixson Theorem. - Fabian Immler; Yong Kiam Tan (Arch. Formal Proofs, 2019)

The verified CakeML compiler backend. - Yong Kiam Tan; Magnus O. Myreen; Ramana Kumar; Anthony C. J. Fox; Scott Owens; Michael Norrish (J. Funct. Program., 2019)

A Formal Safety Net for Waypoint-Following in Ground Robots. - Rose Bohrer; Yong Kiam Tan; Stefan Mitsch; Andrew Sogokon; André Platzer (IEEE Robotics Autom. Lett., 2019)

The Poincaré-Bendixson theorem in Isabelle/HOL. - Fabian Immler; Yong Kiam Tan (CPP, 2020)

Differential Equation Invariance Axiomatization. - André Platzer; Yong Kiam Tan (J. ACM, 2020)

Proof-Producing Synthesis of CakeML from Monadic HOL Functions. - Oskar Abrahamsson; Son Ho; Hrutvik Kanabar; Ramana Kumar; Magnus O. Myreen; Michael Norrish; Yong Kiam Tan (J. Autom. Reason., 2020)

Do you have space for dessert? a verified space cost semantics for CakeML programs. - Alejandro Gómez-Londoño; Johannes Åman Pohjola; Hira Taqdees Syeda; Magnus O. Myreen; Yong Kiam Tan (Proc. ACM Program. Lang., 2020)

Switched Systems as Hybrid Programs. - Yong Kiam Tan; André Platzer (ADHS, 2021)

A Verified Decision Procedure for Univariate Real Arithmetic with the BKR Algorithm. - Katherine Cordwell; Yong Kiam Tan; André Platzer (ITP, 2021)

cake_lpr: Verified Propagation Redundancy Checking in CakeML. - Yong Kiam Tan; Marijn J. H. Heule; Magnus O. Myreen (TACAS (2), 2021)

Deductive Stability Proofs for Ordinary Differential Equations. - Yong Kiam Tan; André Platzer (TACAS (2), 2021)

The BKR Decision Procedure for Univariate Real Arithmetic. - Katherine Cordwell; Yong Kiam Tan; André Platzer (Arch. Formal Proofs, 2021)

An axiomatic approach to existence and liveness for differential equations. - Yong Kiam Tan; André Platzer (Formal Aspects Comput., 2021)

Pegasus: sound continuous invariant generation. - Andrew Sogokon; Stefan Mitsch; Yong Kiam Tan; Katherine Cordwell; André Platzer (Formal Methods Syst. Des., 2021)

Implicit Definitions with Differential Equations for KeYmaera X - (System Description). - James Gallicchio; Yong Kiam Tan; Stefan Mitsch; André Platzer (IJCAR, 2022)

Verified Compilation and Optimization of Floating-Point Programs in CakeML. - Heiko Becker; Robert Rabe; Eva Darulova; Magnus O. Myreen; Zachary Tatlock; Ramana Kumar; Yong Kiam Tan; Anthony C. J. Fox (ECOOP, 2022)

Verifying Switched System Stability With Logic. - Yong Kiam Tan; Stefan Mitsch; André Platzer (HSCC, 2022)

A First Complete Algorithm for Real Quantifier Elimination in Isabelle/HOL. - Katherine Cordwell; Yong Kiam Tan; André Platzer (Arch. Formal Proofs, 2022)

Verified Compilation and Optimization of Floating-Point Programs in CakeML (Artifact). - Heiko Becker; Robert Rabe; Eva Darulova; Magnus O. Myreen; Zachary Tatlock; Ramana Kumar; Yong Kiam Tan; Anthony C. J. Fox (Dagstuhl Artifacts Ser., 2022)

Deductive Verification for Ordinary Differential Equations: Safety, Liveness, and Stability - Yong Kiam Tan (2022)

Concentration Inequalities. - Emin Karayel; Yong Kiam Tan (Arch. Formal Proofs, 2023)

The Schwartz-Zippel Lemma. - Sunpill Kim; Yong Kiam Tan (Arch. Formal Proofs, 2023)

Cakes That Bake Cakes: Dynamic Computation in CakeML. - Thomas Sewell; Magnus O. Myreen; Yong Kiam Tan; Ramana Kumar; Alexander Mihajlovic; Oskar Abrahamsson; Scott Owens (Proc. ACM Program. Lang., 2023)

Verified Propagation Redundancy and Compositional UNSAT Checking in CakeML. - Yong Kiam Tan; Marijn J. H. Heule; Magnus O. Myreen (Int. J. Softw. Tools Technol. Transf., 2023)

End-to-End Verification for Subgraph Solving. - Stephan Gocht; Ciaran McCreesh; Magnus O. Myreen; Jakob Nordström; Andy Oertel; Yong Kiam Tan (AAAI, 2024)

Formally Certified Approximate Model Counting. - Yong Kiam Tan; Jiong Yang 002; Mate Soos; Magnus O. Myreen; Kuldeep S. Meel (CAV (1), 2024)

Unsupervised Fingerphoto Presentation Attack Detection With Diffusion Models. - Hailin Li; Raghavendra Ramachandra; Mohamed Ragab 002; Soumik Mondal; Yong Kiam Tan; Khin Mi Mi Aung (IJCB, 2024)

Certified MaxSAT Preprocessing. - Hannes Ihalainen; Andy Oertel; Yong Kiam Tan; Jeremias Berg; Matti Järvisalo; Magnus O. Myreen; Jakob Nordström (IJCAR (1), 2024)

Formalizing Coppersmith's Method in Isabelle/HOL. - Katherine Kosaian; Yong Kiam Tan; Kristin Yvonne Rozier (CICM, 2024)

Scores Tell Everything about Bob: Non-adaptive Face Reconstruction on Face Recognition Systems. - Sunpill Kim; Yong Kiam Tan; Bora Jeong; Soumik Mondal; Khin Mi Mi Aung; Jae Hong Seo (SP, 2024)

Formalizing Coppersmith's Method. - Katherine Kosaian; Yong Kiam Tan (Arch. Formal Proofs, 2024)

Approximate Model Counting. - Yong Kiam Tan; Jiong Yang 002 (Arch. Formal Proofs, 2024)

Certified MaxSAT Preprocessing. - Hannes Ihalainen; Andy Oertel; Yong Kiam Tan; Jeremias Berg; Matti Järvisalo; Jakob Nordström (CoRR, 2024)

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 (CP, 2025)

Efficient Certified Reasoning for Binarized Neural Networks. - Jiong Yang 002; Yong Kiam Tan; Mate Soos; Magnus O. Myreen; Kuldeep S. Meel (SAT, 2025)

Certifying Projected Knowledge Compilation. - Randal E. Bryant; Yong Kiam Tan; Marijn J. H. Heule (SAT, 2025)

Verification of the CVM algorithm with a New Recursive Analysis Technique. - Emin Karayel; Derek Khu; Kuldeep S. Meel; Yong Kiam Tan; Seng Joe Watt (Arch. Formal Proofs, 2025)

I Can Find You in Seconds! Leveraging Large Language Models for Code Authorship Attribution. - Soohyeon Choi; Yong Kiam Tan; Mark Huasong Meng; Mohamed Ragab 002; Soumik Mondal; David Mohaisen; Khin Mi Mi Aung (CoRR, 2025)