| 2025 | EMNLP | VCSearch: Bridging the Gap Between Well-Defined and Ill-Defined Problems in Mathematical Reasoning. | Shi-Yu Tian, Zhi Zhou, Kun-Yang Yu, Ming Yang, Lin-Han Jia, Lan-Zhe Guo, Yufeng Li |
| 2025 | ICML | Verification Learning: Make Unsupervised Neuro-Symbolic System Feasible. | Lin-Han Jia, Wen-Chao Hu, Jie-Jing Shao, Lan-Zhe Guo, Yu-Feng Li |
| 2025 | IJCAI | Neuro-Symbolic Artificial Intelligence: Towards Improving the Reasoning Abilities of Large Language Models. | Xiao-Wen Yang, Jie-Jing Shao, Lan-Zhe Guo, Bo-Wen Zhang, Zhi Zhou, Lin-Han Jia, Wang-Zhou Dai, Yufeng Li |
| 2024 | ICLR | Realistic Evaluation of Semi-supervised Learning Algorithms in Open Environments. | Lin-Han Jia, Lan-Zhe Guo, Zhi Zhou, Yufeng Li |
| 2023 | ICML | ODS: Test-Time Adaptation in the Presence of Open-World Data Shift. | Zhi Zhou, Lan-Zhe Guo, Lin-Han Jia, Dingchu Zhang, Yufeng Li |
| 2023 | ICML | Bidirectional Adaptation for Robust Semi-Supervised Learning with Inconsistent Data Distributions. | Lin-Han Jia, Lan-Zhe Guo, Zhi Zhou, Jie-Jing Shao, Yuke Xiang, Yufeng Li |