| 2026 | TACAS | SMT(LIA) Sampling with High Diversity. | Yong Lai, Junjie Li, Chuan Luo |
| 2025 | CAV | Panini: An Efficient and Flexible Knowledge Compiler. | Yong Lai, Kuldeep S. Meel, Roland H. C. Yap |
| 2025 | SAT | Scalable Precise Computation of Shannon Entropy. | Yong Lai, Haolong Tong, Zhenghang Xu, Minghao Yin |
| 2025 | SAT | On Top-Down Pseudo-Boolean Model Counting. | Suwei Yang, Yong Lai, Kuldeep S. Meel |
| 2024 | IJCAI | A Multi-Valued Decision Diagram-Based Approach to Constrained Optimal Path Problems over Directed Acyclic Graphs. | Mingwei Zhang, Liangda Fang, Zhenhao Gu, Quanlong Guan, Yong Lai |
| 2024 | KSEM | Knowledge Enhanced Zero-Shot Visual Relationship Detection. | Nan Ding, Yong Lai, Jie Liu |
| 2023 | AAAI | Fast Converging Anytime Model Counting. | Yong Lai, Kuldeep S. Meel, Roland H. C. Yap |
| 2021 | AAAI | The Power of Literal Equivalence in Model Counting. | Yong Lai, Kuldeep S. Meel, Roland H. C. Yap |
| 2017 | IJCAI | New Canonical Representations by Augmenting OBDDs with Conjunctive Decomposition (Extended Abstract). | Yong Lai, Dayou Liu, Minghao Yin |