Yong Kiam Tan

Homepages 🌐

• https://www.cs.cmu.edu/~yongkiat/

E-Mails 📧

• ude.umc.sc @taikgnoy

Entries

2025

Verification of the CVM algorithm with a New Recursive Analysis Technique

by Emin Karayel 📧, Derek Khu 📧, Kuldeep S. Meel 📧, Yong Kiam Tan 📧 and Seng Joe Watt 📧

Feb 05

2024

Formalizing Coppersmith's Method

by Katherine Kosaian 📧 and Yong Kiam Tan 📧

Jun 10

Approximate Model Counting

by Yong Kiam Tan 📧 and Jiong Yang 📧

Mar 15

2023

Concentration Inequalities

by Emin Karayel 📧 and Yong Kiam Tan 📧

Nov 13

The Schwartz-Zippel Lemma

by Sunpill Kim and Yong Kiam Tan 📧

Apr 27

2022

A First Complete Algorithm for Real Quantifier Elimination in Isabelle/HOL

by Katherine Kosaian 📧, Yong Kiam Tan 📧 and André Platzer 📧

Dec 15

2021

The BKR Decision Procedure for Univariate Real Arithmetic

by Katherine Kosaian 🌐, Yong Kiam Tan 🌐 and André Platzer 🌐

Apr 24

2019

The Poincaré-Bendixson Theorem

by Fabian Immler 🌐 and Yong Kiam Tan 🌐

Dec 18