Li, Zenan

15 publications

NeurIPS 2025 A Theoretical Study on Bridging Internal Probability and Self-Consistency for LLM Reasoning Zhi Zhou, Yuhao Tan, Zenan Li, Yuan Yao, Lan-Zhe Guo, Yu-Feng Li, Xiaoxing Ma

CVPR 2025 Decoupling Training-Free Guided Diffusion by ADMM Youyuan Zhang, Zehua Liu, Zenan Li, Zhaoyu Li, James J. Clark, Xujie Si

ICLR 2025 Proving Olympiad Inequalities by Synergizing LLMs and Symbolic Reasoning Zenan Li, Zhaoyu Li, Wen Tang, Xian Zhang, Yuan Yao, Xujie Si, Fan Yang, Kaiyu Yang, Xiaoxing Ma

NeurIPS 2025 Reviving DSP for Advanced Theorem Proving in the Era of Reasoning Models Chenrui Cao, Liangcheng Song, Zenan Li, Xinyi Le, Xian Zhang, Hui Xue, Fan Yang

NeurIPS 2024 Autoformalize Mathematical Statements by Symbolic Equivalence and Semantic Consistency Zenan Li, Yifan Wu, Zhaoyu Li, Xinming Wei, Fan Yang, Xian Zhang, Xiaoxing Ma

NeurIPS 2024 Neuro-Symbolic Data Generation for Math Reasoning Zenan Li, Zhi Zhou, Yuan Yao, Yu-Feng Li, Chun Cao, Fan Yang, Xian Zhang, Xiaoxing Ma

CoRL 2024 Uncertainty-Aware Decision Transformer for Stochastic Driving Environments Zenan Li, Fan Nie, Qiao Sun, Fang Da, Hang Zhao

ICLR 2023 Learning with Logical Constraints but Without Shortcut Satisfaction Zenan Li, Zehua Liu, Yuan Yao, Jingwei Xu, Taolue Chen, Xiaoxing Ma, Jian

NeurIPS 2023 Neuro-Symbolic Learning Yielding Logical Constraints Zenan Li, Yunpeng Huang, Zhaoyu Li, Yuan Yao, Jingwei Xu, Taolue Chen, Xiaoxing Ma, Jian Lu

ICLR 2023 ROCO: A General Framework for Evaluating Robustness of Combinatorial Optimization Solvers on Graphs Han Lu, Zenan Li, Runzhong Wang, Qibing Ren, Xijun Li, Mingxuan Yuan, Jia Zeng, Xiaokang Yang, Junchi Yan

ICLR 2023 Softened Symbol Grounding for Neuro-Symbolic Systems Zenan Li, Yuan Yao, Taolue Chen, Jingwei Xu, Chun Cao, Xiaoxing Ma, Jian

NeurIPS 2022 A Deep Learning Dataloader with Shared Data Preparation Jian Xie, Jingwei Xu, Guochang Wang, Yuan Yao, Zenan Li, Chun Cao, Hanghang Tong

NeurIPS 2022 GraphDE: A Generative Framework for Debiased Learning and Out-of-Distribution Detection on Graphs Zenan Li, Qitian Wu, Fan Nie, Junchi Yan

NeurIPS 2022 NodeFormer: A Scalable Graph Structure Learning Transformer for Node Classification Qitian Wu, Wentao Zhao, Zenan Li, David P Wipf, Junchi Yan

ICML 2022 On Collective Robustness of Bagging Against Data Poisoning Ruoxin Chen, Zenan Li, Jie Li, Junchi Yan, Chentao Wu