Zenan Li - RankMe

64 papers A* 17A 1Misc 1Journal 39Unranked 6

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	AlgoVeri: An Aligned Benchmark for Verified Code Generation on Classical Algorithms. CoRR Haoyu Zhao, Ziran Yang, Jiawei Li, Deyuan He, Zenan Li, Chi Jin, Venugopal V. Veeravalli, Aarti Gupta, Sanjeev Arora
2026	J	`jnl`	FIGNet: A Robust and Interpretable Fuzzy-Irreversible Gated Network for Auditory Brainstem Response Classification. IEEE J. Biomed. Health Informatics Ke Zhang, Chunrui Zhao, Zenan Li, Caiwei Li, Desheng Jia, Yongchao Chen, Shang Yan, Xin Wang, Yishu Teng, Hongguang Pan, Shixiong Chen
2026	J	`jnl`	Goedel-Code-Prover: Hierarchical Proof Search for Open State-of-the-Art Code Verification. CoRR Zenan Li, Ziran Yang, Deyuan He, Haoyu Zhao, Andrew Zhao, Shange Tang, Kaiyu Yang, Aarti Gupta, Zhendong Su, Chi Jin
2026	J	`jnl`	Learning to Disprove: Formal Counterexample Generation with Large Language Models. CoRR Zenan Li, Zhaoyu Li, Kaiyu Yang, Xiaoxing Ma, Zhendong Su
2026	J	`jnl`	Multi-scale fusion networks with enhanced attention mechanisms for auditory attention decoding from EEG. Biomed. Signal Process. Control. Ke Zhang, Shang Yan, Zenan Li, Xin Wang, Junyu Ji, Alice Kwai-Yee Siu, Yun Lu, Hua-Nong Ting, Song Cao, Hongguang Pan, Shixiong Chen
2026	J	`jnl`	Stepwise: Neuro-Symbolic Proof Search for Automated Systems Verification. CoRR Baoding He, Zenan Li, Wei Sun, Yuan Yao, Taolue Chen, Xiaoxing Ma, Zhendong Su
2025	J	`jnl`	A Theoretical Study on Bridging Internal Probability and Self-Consistency for LLM Reasoning. CoRR Zhi Zhou, Tan Yuhao, Zenan Li, Yuan Yao, Lan-Zhe Guo, Yufeng Li, Xiaoxing Ma
2025	J	`jnl`	Bridging Internal Probability and Self-Consistency for Effective and Efficient LLM Reasoning. CoRR Zhi Zhou, Tan Yuhao, Zenan Li, Yuan Yao, Lan-Zhe Guo, Xiaoxing Ma, Yufeng Li
2025	J	`jnl`	Bridging Your Imagination with Audio-Video Generation via a Unified Director. CoRR Jiaxu Zhang, Tianshu Hu, Yuan Zhang, Zenan Li, Linjie Luo, Guosheng Lin, Xin Chen
2025	J	`jnl`	Conformal Correction for Efficiency May be at Odds with Entropy. CoRR Senrong Xu, Tianyu Wang, Zenan Li, Yuan Yao, Taolue Chen, Feng Xu, Xiaoxing Ma
2025	A*	`conf`	Decoupling Training-Free Guided Diffusion by ADMM. CVPR Youyuan Zhang, Zehua Liu, Zenan Li, Zhaoyu Li, James J. Clark, Xujie Si
2025	J	`jnl`	FormalML: A Benchmark for Evaluating Formal Subgoal Completion in Machine Learning Theory. CoRR Xiao-Wen Yang, Zihao Zhang, Jianuo Cao, Zhi Zhou, Zenan Li, Lan-Zhe Guo, Yuan Yao, Taolue Chen, Yufeng Li, Xiaoxing Ma
2025	A	`conf`	LoRA Decompose: Serving Fine-Tuned Models into LoRA-Like. ECAI Yibo Han, Tangzhi Xu, Zenan Li, Yijia Zhang, Youshan Miao, Yuan Yao, Ningyi Xu
2025	J	`jnl`	Plan-X: Instruct Video Generation via Semantic Planning. CoRR Lun Huang, You Xie, Hongyi Xu, Tianpei Gu, Chenxu Zhang, Guoxian Song, Zenan Li, Xiaochen Zhao, Linjie Luo, Guillermo Sapiro
2025	A*	`conf`	Proving Olympiad Inequalities by Synergizing LLMs and Symbolic Reasoning. ICLR Zenan Li, Zhaoyu Li, Wen Tang, Xian Zhang, Yuan Yao, Xujie Si, Fan Yang, Kaiyu Yang, Xiaoxing Ma
2025	J	`jnl`	Proving Olympiad Inequalities by Synergizing LLMs and Symbolic Reasoning. CoRR Zenan Li, Zhaoyu Li, Wen Tang, Xian Zhang, Yuan Yao, Xujie Si, Fan Yang, Kaiyu Yang, Xiaoxing Ma
2025	—	`conf`	PyEuclid: A Versatile Formal Plane Geometry System in Python. CAV (4) Zhaoyu Li, Hangrui Bi, Jialiang Sun, Zenan Li, Kaiyu Yang, Xujie Si
2025	J	`jnl`	Reviving DSP for Advanced Theorem Proving in the Era of Reasoning Models. CoRR Chenrui Cao, Liangcheng Song, Zenan Li, Xinyi Le, Xian Zhang, Hui Xue, Fan Yang
2025	J	`jnl`	Short-term traffic flow prediction based on spatial-temporal attention time gated convolutional network with particle swarm optimization. Appl. Intell. Zhongxing Li, Zenan Li, Chaofeng Pan, Jian Wang
2025	J	`jnl`	Video-As-Prompt: Unified Semantic Control for Video Generation. CoRR Yuxuan Bian, Xin Chen, Zenan Li, Tiancheng Zhi, Shen Sang, Linjie Luo, Qiang Xu
2025	A*	`conf`	X-Actor: Emotional and Expressive Long-Range Portrait Acting from Audio. SIGGRAPH Asia Chenxu Zhang, Zenan Li, Hongyi Xu, You Xie, Xiaochen Zhao, Tianpei Gu, Guoxian Song, Xin Chen, Chao Liang, Jianwen Jiang, Linjie Luo
2025	J	`jnl`	X-Actor: Emotional and Expressive Long-Range Portrait Acting from Audio. CoRR Chenxu Zhang, Zenan Li, Hongyi Xu, You Xie, Xiaochen Zhao, Tianpei Gu, Guoxian Song, Xin Chen, Chao Liang, Jianwen Jiang, Linjie Luo
2025	J	`jnl`	X-Streamer: Unified Human World Modeling with Audiovisual Interaction. CoRR You Xie, Tianpei Gu, Zenan Li, Chenxu Zhang, Guoxian Song, Xiaochen Zhao, Chao Liang, Jianwen Jiang, Hongyi Xu, Linjie Luo
2025	A*	`conf`	X-UniMotion: Animating Human Images with Expressive, Unified and Identity-Agnostic Motion Latents. SIGGRAPH Asia Guoxian Song, Hongyi Xu, Xiaochen Zhao, You Xie, Tianpei Gu, Zenan Li, Chenxu Zhang, Linjie Luo
2025	J	`jnl`	X-UniMotion: Animating Human Images with Expressive, Unified and Identity-Agnostic Motion Latents. CoRR Guoxian Song, Hongyi Xu, Xiaochen Zhao, You Xie, Tianpei Gu, Zenan Li, Chenxu Zhang, Linjie Luo
2024	J	`jnl`	A Survey on Deep Learning for Theorem Proving. CoRR Zhaoyu Li, Jialiang Sun, Logan Murphy, Qidong Su, Zenan Li, Xian Zhang, Kaiyu Yang, Xujie Si
2024	A*	`conf`	Autoformalize Mathematical Statements by Symbolic Equivalence and Semantic Consistency. NeurIPS Zenan Li, Yifan Wu, Zhaoyu Li, Xinming Wei, Xian Zhang, Fan Yang, Xiaoxing Ma
2024	J	`jnl`	Autoformalize Mathematical Statements by Symbolic Equivalence and Semantic Consistency. CoRR Zenan Li, Yifan Wu, Zhaoyu Li, Xinming Wei, Xian Zhang, Fan Yang, Xiaoxing Ma
2024	A*	`conf`	Boosting Offline Reinforcement Learning for Autonomous Driving with Hierarchical Latent Skills. ICRA Zenan Li, Fan Nie, Qiao Sun, Fang Da, Hang Zhao
2024	J	`jnl`	Decoupling Training-Free Guided Diffusion by ADMM. CoRR Youyuan Zhang, Zehua Liu, Zenan Li, Zhaoyu Li, James J. Clark, Xujie Si
2024	J	`jnl`	Learning with Logical Constraints but without Shortcut Satisfaction. CoRR Zenan Li, Zehua Liu, Yuan Yao, Jingwei Xu, Taolue Chen, Xiaoxing Ma, Jian Lü
2024	A*	`conf`	Neuro-Symbolic Data Generation for Math Reasoning. NeurIPS Zenan Li, Zhi Zhou, Yuan Yao, Xian Zhang, Yufeng Li, Chun Cao, Fan Yang, Xiaoxing Ma
2024	J	`jnl`	Neuro-Symbolic Data Generation for Math Reasoning. CoRR Zenan Li, Zhi Zhou, Yuan Yao, Yufeng Li, Chun Cao, Fan Yang, Xian Zhang, Xiaoxing Ma
2024	J	`jnl`	Neuro-symbolic Learning Yielding Logical Constraints. CoRR Zenan Li, Yunpeng Huang, Zhaoyu Li, Yuan Yao, Jingwei Xu, Taolue Chen, Xiaoxing Ma, Jian Lu
2024	J	`jnl`	Softened Symbol Grounding for Neuro-symbolic Systems. CoRR Zenan Li, Yuan Yao, Taolue Chen, Jingwei Xu, Chun Cao, Xiaoxing Ma, Jian Lü
2024	Misc	`conf`	Uncertainty-Aware Decision Transformer for Stochastic Driving Environments. CoRL Zenan Li, Fan Nie, Qiao Sun, Fang Da, Hang Zhao
2023	J	`jnl`	Advancing Transformer Architecture in Long-Context Large Language Models: A Comprehensive Survey. CoRR Yunpeng Huang, Jingwei Xu, Zixu Jiang, Junyu Lai, Zenan Li, Yuan Yao, Taolue Chen, Lijuan Yang, Zhou Xin, Xiaoxing Ma
2023	J	`jnl`	Boosting Offline Reinforcement Learning for Autonomous Driving with Hierarchical Latent Skills. CoRR Zenan Li, Fan Nie, Qiao Sun, Fang Da, Hang Zhao
2023	A*	`conf`	Learning with Logical Constraints but without Shortcut Satisfaction. ICLR Zenan Li, Zehua Liu, Yuan Yao, Jingwei Xu, Taolue Chen, Xiaoxing Ma, Jian Lü
2023	A*	`conf`	Lightweight Approaches to DNN Regression Error Reduction: An Uncertainty Alignment Perspective. ICSE Zenan Li, Maorun Zhang, Jingwei Xu, Yuan Yao, Chun Cao, Taolue Chen, Xiaoxing Ma, Jian Lu
2023	A*	`conf`	Neuro-symbolic Learning Yielding Logical Constraints. NeurIPS Zenan Li, Yunpeng Huang, Zhaoyu Li, Yuan Yao, Jingwei Xu, Taolue Chen, Xiaoxing Ma, Jian Lu
2023	J	`jnl`	NodeFormer: A Scalable Graph Structure Learning Transformer for Node Classification. CoRR Qitian Wu, Wentao Zhao, Zenan Li, David Wipf, Junchi Yan
2023	J	`jnl`	On the Vulnerability of Graph Learning-based Collaborative Filtering. ACM Trans. Inf. Syst. Senrong Xu, Liangyue Li, Zenan Li, Yuan Yao, Feng Xu, Zulong Chen, Quan Lu, Hanghang Tong
2023	J	`jnl`	OriWheelBot: An origami-wheeled robot. CoRR Jie Liu, Zufeng Pang, Zhiyong Li, Guilin Wen, Zhoucheng Su, Junfeng He, Kaiyue Liu, Dezheng Jiang, Zenan Li, Shouyan Chen, Yang Tian, Yi Min Xie, Zhenpei Wang, Zhuangjian Liu
2023	A*	`conf`	ROCO: A General Framework for Evaluating Robustness of Combinatorial Optimization Solvers on Graphs. ICLR Han Lu, Zenan Li, Runzhong Wang, Qibing Ren, Xijun Li, Mingxuan Yuan, Jia Zeng, Xiaokang Yang, Junchi Yan
2023	A*	`conf`	Softened Symbol Grounding for Neuro-symbolic Systems. ICLR Zenan Li, Yuan Yao, Taolue Chen, Jingwei Xu, Chun Cao, Xiaoxing Ma, Jian Lü
2023	J	`jnl`	Uncertainty-Aware Decision Transformer for Stochastic Driving Environments. CoRR Zenan Li, Fan Nie, Qiao Sun, Fang Da, Hang Zhao
2022	A*	`conf`	A Deep Learning Dataloader with Shared Data Preparation. NeurIPS Jian Xie, Jingwei Xu, Guochang Wang, Yuan Yao, Zenan Li, Chun Cao, Hanghang Tong
2022	A*	`conf`	Fair Representation Learning: An Alternative to Mutual Information. KDD Ji Liu, Zenan Li, Yuan Yao, Feng Xu, Xiaoxing Ma, Miao Xu, Hanghang Tong
2022	A*	`conf`	GraphDE: A Generative Framework for Debiased Learning and Out-of-Distribution Detection on Graphs. NeurIPS Zenan Li, Qitian Wu, Fan Nie, Junchi Yan
2022	J	`jnl`	Mind Your Solver! On Adversarial Attack and Defense for Combinatorial Optimization. CoRR Han Lu, Zenan Li, Runzhong Wang, Qibing Ren, Junchi Yan, Xiaokang Yang
2022	A*	`conf`	NodeFormer: A Scalable Graph Structure Learning Transformer for Node Classification. NeurIPS Qitian Wu, Wentao Zhao, Zenan Li, David P. Wipf, Junchi Yan
2022	A*	`conf`	On Collective Robustness of Bagging Against Data Poisoning. ICML Ruoxin Chen, Zenan Li, Jie Li, Junchi Yan, Chentao Wu
2022	J	`jnl`	On Collective Robustness of Bagging Against Data Poisoning. CoRR Ruoxin Chen, Zenan Li, Jie Li, Chentao Wu, Junchi Yan
2021	—	`conf`	A Network Topology Awareness Based Probabilistic Broadcast Protocol for Data Transmission in Mobile Ad Hoc Networks. ICCCS Jun Cai, Zeting Yu, Zenan Li, Han Han, Bo Zhang, Xiaodong Yi
2021	J	`jnl`	Joint Distribution across Representation Space for Out-of-Distribution Detection. CoRR Jingwei Xu, Siyuan Zhu, Zenan Li, Chang Xu
2021	J	`jnl`	Towards effective metamorphic testing by algorithm stability for linear classification programs. J. Syst. Softw. Yingzhuo Yang, Zenan Li, Huiyan Wang, Chang Xu, Xiaoxing Ma
2020	—	`conf`	Operational calibration: debugging confidence errors for DNNs in the field. ESEC/SIGSOFT FSE Zenan Li, Xiaoxing Ma, Chang Xu, Jingwei Xu, Chun Cao, Jian Lu
2020	J	`jnl`	Predicted Robustness as QoS for Deep Neural Network Models. J. Comput. Sci. Technol. Yue-Huan Wang, Zenan Li, Jingwei Xu, Ping Yu, Taolue Chen, Xiaoxing Ma
2019	J	`jnl`	Boosting Operational DNN Testing Efficiency through Conditioning. CoRR Zenan Li, Xiaoxing Ma, Chang Xu, Chun Cao, Jingwei Xu, Jian Lu
2019	—	`conf`	Boosting operational DNN testing efficiency through conditioning. ESEC/SIGSOFT FSE Zenan Li, Xiaoxing Ma, Chang Xu, Chun Cao, Jingwei Xu, Jian Lü
2019	—	`conf`	Fast Robustness Prediction for Deep Neural Network. Internetware Yue-Huan Wang, Zenan Li, Jingwei Xu, Ping Yu, Xiaoxing Ma
2019	J	`jnl`	Operational Calibration: Debugging Confidence Errors for DNNs in the Field. CoRR Zenan Li, Xiaoxing Ma, Chang Xu, Jingwei Xu, Chun Cao, Jian Lü
2019	—	`conf`	Structural coverage criteria for neural networks could be misleading. ICSE (NIER) Zenan Li, Xiaoxing Ma, Chang Xu, Chun Cao