Yon Shin Teo
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
2022–2026
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | ACL | Learning More from Less: Exploiting Counterfactuals for Data-Efficient Chart Understanding. | Jianzhu Bao, Haozhen Zhang, Kuicai Dong, Bozhi Wu, Sarthak Ketanbhai Modi, Zi Pong Lim, Yon Shin Teo, Wenya Wang |
| 2026 | FM | Shift-Left Requirements Verification: Integrating LLMs and Formal Methods for Automotive Systems. | Zi Pong Lim, Bozhi Wu, Yon Shin Teo, Shang-Wei Lin, Yi Li |
| 2024 | ICML | Improving Neural Logic Machines via Failure Reflection. | Zhiming Li, Yushi Cao, Yan Zheng, Xu Liu, Bozhi Wu, Tianlin Li, Xiufeng Xu, Junzhe Jiang, Yon Shin Teo, Shang-Wei Lin, Yang Liu |
| 2024 | TACAS | A Parallel and Distributed Quantum SAT Solver Based on Entanglement and Teleportation. | Shang-Wei Lin, Tzu-Fan Wang, Yean-Ru Chen, Zhe Hou, David Sann, Yon Shin Teo |
| 2023 | SoMeT | An Automatic Test Plan Generation Approach for Automotive Software Testing. | Yushi Cao, Yanran Li, Yon Shin Teo, Yan Zheng, Zhexin Liang, Shang-Wei Lin |
| 2022 | SoMeT | A Holistic Automated Software Structure Exploration Framework for Testing. | Yushi Cao, Yon Shin Teo, Yan Zheng, Yuxuan Toh, Shang-Wei Lin |