| 2026 | AAAI | DeCoRL: Decoupling Reasoning Chains via Parallel Sub-Step Generation and Cascaded Reinforcement for Interpretable and Scalable RLHF. | Ziyuan Gao, Di Liang, Xianjie Wu, Philippe Morel, Minlong Peng |
| 2026 | ISCA | Democratizing and Accelerating Hardware Verification with Software-Native Optimization. | Yunlong Xie, Zhicheng Yao, Fangyuan Song, Jincheng Liu, Junyue Wang, Haojin Tang, Lu Chen, Yinan Xu, Ziqing Zhang, Ziyuan Gao, Duan Yu, Hongtao Zhou, Jiayi Rao, Junyu Yue, Xiaolong Li, Yunqi Lu, Zechen Yang, Hang Zhu, Shan Liu, Xu An, Qi Ge, Jiuyue Ma, Jianyi Meng, Kan Shi, Dan Tang, Tianyi Liu, Sa Wang, Yungang Bao |
| 2026 | MMM | Prompt-Aware Adaptive Elastic Weight Consolidation for Continual Learning in Medical Vision-Language Models. | Ziyuan Gao, Philippe Morel |
| 2026 | WACV | AGENet: Adaptive Edge-aware Geodesic Distance Learning for Few-Shot Medical Image Segmentation. | Ziyuan Gao |
| 2026 | WACV | MedPEFT-CL: Dual-Phase Parameter-Efficient Continual Learning with Medical Semantic Adapter and Bidirectional Memory Consolidation. | Ziyuan Gao, Philippe Morel |
| 2025 | PRICAI | StructCoh: Structured Contrastive Learning for Context-Aware Text Semantic Matching. | Chao Xue, Ziyuan Gao |
| 2024 | MFCS | Quasi-Isometric Reductions Between Infinite Strings. | Karen Frilya Celine, Ziyuan Gao, Sanjay Jain, Ryan Lou, Frank Stephan, Guohua Wu |
| 2022 | ICTAC | Alternating Automatic Register Machines. | Ziyuan Gao, Sanjay Jain, Zeyong Li, Ammar Fathin Sabili, Frank Stephan |
| 2021 | LATA | Learnability and Positive Equivalence Relations. | David R. Blanger, Ziyuan Gao, Sanjay Jain, Wei Li, Frank Stephan |
| 2020 | LATA | Ordered Semiautomatic Rings with Applications to Geometry. | Ziyuan Gao, Sanjay Jain, Ji Qi, Philipp Schlicht, Frank Stephan, Jacob Tarr |
| 2019 | DLT | The Teaching Complexity of Erasing Pattern Languages with Bounded Variable Frequency. | Ziyuan Gao |
| 2019 | MFCS | Random Subgroups of Rationals. | Ziyuan Gao, Sanjay Jain, Bakhadyr Khoussainov, Wei Li, Alexander G. Melnikov, Karen Seidel, Frank Stephan |
| 2018 | ALT | On the Help of Bounded Shot Verifiers, Comparators and Standardisers for Learnability in Inductive Inference. | Ziyuan Gao, Sanjay Jain, Frank Stephan, Thomas Zeugmann |
| 2017 | ALT | Erasing Pattern Languages Distinguishable by a Finite Number of Strings. | Fahimeh Bayeh, Ziyuan Gao, Sandra Zilles |
| 2017 | ALT | Preference-based Teaching of Unions of Geometric Objects. | Ziyuan Gao, David G. Kirkpatrick, Christoph Ries, Hans Ulrich Simon, Sandra Zilles |
| 2017 | COCOA | The Cop Number of the One-Cop-Moves Game on Planar Graphs. | Ziyuan Gao, Boting Yang |
| 2016 | ALT | Classifying the Arithmetical Complexity of Teaching Models. | Achilles Beros, Ziyuan Gao, Sandra Zilles |
| 2016 | COLT | Preference-based Teaching. | Ziyuan Gao, Christoph Ries, Hans Ulrich Simon, Sandra Zilles |
| 2015 | ALT | Combining Models of Approximation with Partial Learning. | Ziyuan Gao, Frank Stephan, Sandra Zilles |
| 2015 | ALT | On the Teaching Complexity of Linear Sets. | Ziyuan Gao, Hans Ulrich Simon, Sandra Zilles |
| 2014 | LATA | Distinguishing Pattern Languages with Membership Examples. | Zeinab Mazadi, Ziyuan Gao, Sandra Zilles |
| 2013 | ALT | Partial Learning of Recursively Enumerable Languages. | Ziyuan Gao, Frank Stephan, Sandra Zilles |
| 2013 | CiE | On Conservative Learning of Recursively Enumerable Languages. | Ziyuan Gao, Sanjay Jain, Frank Stephan |
| 2012 | ALT | Confident and Consistent Partial Learning of Recursive Functions. | Ziyuan Gao, Frank Stephan |
| 2012 | LATA | Learnability of Co-r.e. Classes. | Ziyuan Gao, Frank Stephan |