Zhengying Liu - RankMe

57 papers A* 11A 1B 2Journal 34Unranked 7

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	A Survey of Reasoning with Foundation Models: Concepts, Methodologies, and Outlook. ACM Comput. Surv. Jiankai Sun, Chuanyang Zheng, Enze Xie, Zhengying Liu, Ruihang Chu, Jianing Qiu, Jiaqi Xu, Mingyu Ding, Hongyang Li, Mengzhe Geng, Yue Wu, Wenhai Wang, Junsong Chen, Zhangyue Yin, Xiaozhe Ren, Jie Fu, Junxian He, Wu Yuan, Qi Liu, Xihui Liu, Yu Li, Hao Dong, Yu Cheng, Ming Zhang, Pheng-Ann Heng, Jifeng Dai, Ping Luo, Jingdong Wang, Ji-Rong Wen, Xipeng Qiu, Yike Guo, Hui Xiong, Qun Liu, Zhenguo Li
2025	J	`jnl`	CombiBench: Benchmarking LLM Capability for Combinatorial Mathematics. CoRR Junqi Liu, Xiaohan Lin, Jonas Bayer, Yael Dillies, Weijie Jiang, Xiaodan Liang, Roman Soletskyi, Haiming Wang, Yunzhou Xie, Beibei Xiong, Zhengfeng Yang, Jujian Zhang, Lihong Zhi, Jia Li, Zhengying Liu
2025	A*	`conf`	FormalAlign: Automated Alignment Evaluation for Autoformalization. ICLR Jianqiao Lu, Yingjia Wan, Yinya Huang, Jing Xiong, Zhengying Liu, Zhijiang Guo
2025	J	`jnl`	Kimina Lean Server: Technical Report. CoRR Marco Dos Santos, Haiming Wang, Hugues de Saxcé, Ran Wang, Mantas Baksys, Mert Unsal, Junqi Liu, Zhengying Liu, Jia Li
2025	J	`jnl`	Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning. CoRR Haiming Wang, Mert Unsal, Xiaohan Lin, Mantas Baksys, Junqi Liu, Marco Dos Santos, Flood Sung, Marina Vinyes, Zhenzhe Ying, Zekai Zhu, Jianqiao Lu, Hugues de Saxcé, Bolton Bailey, Chendong Song, Chenjun Xiao, Dehao Zhang, Ebony Zhang, Frederick Pu, Han Zhu, Jiawei Liu, Jonas Bayer, Julien Michel, Longhui Yu, Léo Dreyfus-Schmidt, Lewis Tunstall, Luigi Pagani, Moreira Machado, Pauline Bourigault, Ran Wang, Stanislas Polu, Thibaut Barroyer, Wen-Ding Li, Yazhe Niu, Yann Fleureau, Yangyang Hu, Zhouliang Yu, Zihan Wang, Zhilin Yang, Zhengying Liu, Jia Li
2025	J	`jnl`	LeanGeo: Formalizing Competitional Geometry problems in Lean. CoRR Chendong Song, Zihan Wang, Frederick Pu, Haiming Wang, Xiaohan Lin, Junqi Liu, Jia Li, Zhengying Liu
2025	J	`jnl`	Research on High-Frequency Deduction Method for Distribution Network Measurement Data Based on Differential Mode Switching Oscillation. IEEE Access Mu Jiang, Tianshou Li, Wuwei Li, Qing Xu, Zhengying Liu, Biqing Wang
2025	A*	`conf`	ToolACE: Winning the Points of LLM Function Calling. ICLR Weiwen Liu, Xu Huang, Xingshan Zeng, Xinlong Hao, Shuai Yu, Dexun Li, Shuai Wang, Weinan Gan, Zhengying Liu, Yuanqing Yu, Zezhong Wang, Yuxian Wang, Wu Ning, Yutai Hou, Bin Wang, Chuhan Wu, Xinzhi Wang, Yong Liu, Yasheng Wang, Duyu Tang, Dandan Tu, Lifeng Shang, Xin Jiang, Ruiming Tang, Defu Lian, Qun Liu, Enhong Chen
2025	J	`jnl`	Uncovering human behavioral heterogeneity in urban mobility under the impacts of disruptive weather events. Int. J. Geogr. Inf. Sci. Zhaoya Gong, Zhicheng Deng, Junqing Tang, Hongbo Zhao, Zhengying Liu, Pengjun Zhao
2024	—	`conf`	ATG: Benchmarking Automated Theorem Generation for Generative Language Models. NAACL-HLT (Findings) Xiaohan Lin, Qingxing Cao, Yinya Huang, Zhicheng Yang, Zhengying Liu, Zhenguo Li, Xiaodan Liang
2024	J	`jnl`	ATG: Benchmarking Automated Theorem Generation for Generative Language Models. CoRR Xiaohan Lin, Qingxing Cao, Yinya Huang, Zhicheng Yang, Zhengying Liu, Zhenguo Li, Xiaodan Liang
2024	A*	`conf`	FVEL: Interactive Formal Verification Environment with Large Language Models via Theorem Proving. NeurIPS Xiaohan Lin, Qingxing Cao, Yinya Huang, Haiming Wang, Jianqiao Lu, Zhengying Liu, Linqi Song, Xiaodan Liang
2024	J	`jnl`	FVEL: Interactive Formal Verification Environment with Large Language Models via Theorem Proving. CoRR Xiaohan Lin, Qingxing Cao, Yinya Huang, Haiming Wang, Jianqiao Lu, Zhengying Liu, Linqi Song, Xiaodan Liang
2024	J	`jnl`	FormalAlign: Automated Alignment Evaluation for Autoformalization. CoRR Jianqiao Lu, Yingjia Wan, Yinya Huang, Jing Xiong, Zhengying Liu, Zhijiang Guo
2024	—	`conf`	Forward-Backward Reasoning in Large Language Models for Mathematical Verification. ACL (Findings) Weisen Jiang, Han Shi, Longhui Yu, Zhengying Liu, Yu Zhang, Zhenguo Li, James T. Kwok
2024	A*	`conf`	Gaining Wisdom from Setbacks: Aligning Large Language Models via Mistake Analysis. ICLR Kai Chen, Chunwei Wang, Kuo Yang, Jianhua Han, Lanqing Hong, Fei Mi, Hang Xu, Zhengying Liu, Wenyong Huang, Zhenguo Li, Dit-Yan Yeung, Lifeng Shang, Xin Jiang, Qun Liu
2024	A*	`conf`	LEGO-Prover: Neural Theorem Proving with Growing Libraries. ICLR Haiming Wang, Huajian Xin, Chuanyang Zheng, Zhengying Liu, Qingxing Cao, Yinya Huang, Jing Xiong, Han Shi, Enze Xie, Jian Yin, Zhenguo Li, Xiaodan Liang
2024	A*	`conf`	Large Language Models as Automated Aligners for benchmarking Vision-Language Models. ICLR Yuanfeng Ji, Chongjian Ge, Weikai Kong, Enze Xie, Zhengying Liu, Zhenguo Li, Ping Luo
2024	J	`jnl`	Lyra: Orchestrating Dual Correction in Automated Theorem Proving. Trans. Mach. Learn. Res. Chuanyang Zheng, Haiming Wang, Enze Xie, Zhengying Liu, Jiankai Sun, Huajian Xin, Jianhao Shen, Zhenguo Li, Yu Li
2024	A*	`conf`	MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data. ICLR Yinya Huang, Xiaohan Lin, Zhengying Liu, Qingxing Cao, Huajian Xin, Haiming Wang, Zhenguo Li, Linqi Song, Xiaodan Liang
2024	J	`jnl`	MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data. CoRR Yinya Huang, Xiaohan Lin, Zhengying Liu, Qingxing Cao, Huajian Xin, Haiming Wang, Zhenguo Li, Linqi Song, Xiaodan Liang
2024	A*	`conf`	MetaMath: Bootstrap Your Own Mathematical Questions for Large Language Models. ICLR Longhui Yu, Weisen Jiang, Han Shi, Jincheng Yu, Zhengying Liu, Yu Zhang, James T. Kwok, Zhenguo Li, Adrian Weller, Weiyang Liu
2024	J	`jnl`	Process-Driven Autoformalization in Lean 4. CoRR Jianqiao Lu, Zhengying Liu, Yingjia Wan, Yinya Huang, Haiming Wang, Zhicheng Yang, Jing Tang, Zhijiang Guo
2024	A*	`conf`	Proving Theorems Recursively. NeurIPS Haiming Wang, Huajian Xin, Zhengying Liu, Wenda Li, Yinya Huang, Jianqiao Lu, Zhicheng Yang, Jing Tang, Jian Yin, Zhenguo Li, Xiaodan Liang
2024	J	`jnl`	Proving Theorems Recursively. CoRR Haiming Wang, Huajian Xin, Zhengying Liu, Wenda Li, Yinya Huang, Jianqiao Lu, Zhicheng Yang, Jing Tang, Jian Yin, Zhenguo Li, Xiaodan Liang
2024	J	`jnl`	ToolACE: Winning the Points of LLM Function Calling. CoRR Weiwen Liu, Xu Huang, Xingshan Zeng, Xinlong Hao, Shuai Yu, Dexun Li, Shuai Wang, Weinan Gan, Zhengying Liu, Yuanqing Yu, Zezhong Wang, Yuxian Wang, Wu Ning, Yutai Hou, Bin Wang, Chuhan Wu, Xinzhi Wang, Yong Liu, Yasheng Wang, Duyu Tang, Dandan Tu, Lifeng Shang, Xin Jiang, Ruiming Tang, Defu Lian, Qun Liu, Enhong Chen
2023	J	`jnl`	A Survey of Reasoning with Foundation Models. CoRR Jiankai Sun, Chuanyang Zheng, Enze Xie, Zhengying Liu, Ruihang Chu, Jianing Qiu, Jiaqi Xu, Mingyu Ding, Hongyang Li, Mengzhe Geng, Yue Wu, Wenhai Wang, Junsong Chen, Zhangyue Yin, Xiaozhe Ren, Jie Fu, Junxian He, Wu Yuan, Qi Liu, Xihui Liu, Yu Li, Hao Dong, Yu Cheng, Ming Zhang, Pheng-Ann Heng, Jifeng Dai, Ping Luo, Jingdong Wang, Ji-Rong Wen, Xipeng Qiu, Yike Guo, Hui Xiong, Qun Liu, Zhenguo Li
2023	—	`conf`	DT-Solver: Automated Theorem Proving with Dynamic-Tree Sampling Guided by Proof-level Value Function. ACL (1) Haiming Wang, Ye Yuan, Zhengying Liu, Jianhao Shen, Yichun Yin, Jing Xiong, Enze Xie, Han Shi, Yujun Li, Lin Li, Jian Yin, Zhenguo Li, Xiaodan Liang
2023	J	`jnl`	FIMO: A Challenge Formal Dataset for Automated Theorem Proving. CoRR Chengwu Liu, Jianhao Shen, Huajian Xin, Zhengying Liu, Ye Yuan, Haiming Wang, Wei Ju, Chuanyang Zheng, Yichun Yin, Lin Li, Ming Zhang, Qun Liu
2023	J	`jnl`	Forward-Backward Reasoning in Large Language Models for Verification. CoRR Weisen Jiang, Han Shi, Longhui Yu, Zhengying Liu, Yu Zhang, Zhenguo Li, James T. Kwok
2023	J	`jnl`	Gaining Wisdom from Setbacks: Aligning Large Language Models via Mistake Analysis. CoRR Kai Chen, Chunwei Wang, Kuo Yang, Jianhua Han, Lanqing Hong, Fei Mi, Hang Xu, Zhengying Liu, Wenyong Huang, Zhenguo Li, Dit-Yan Yeung, Lifeng Shang, Xin Jiang, Qun Liu
2023	J	`jnl`	LEGO-Prover: Neural Theorem Proving with Growing Libraries. CoRR Haiming Wang, Huajian Xin, Chuanyang Zheng, Lin Li, Zhengying Liu, Qingxing Cao, Yinya Huang, Jing Xiong, Han Shi, Enze Xie, Jian Yin, Zhenguo Li, Heng Liao, Xiaodan Liang
2023	J	`jnl`	Large Language Models as Automated Aligners for benchmarking Vision-Language Models. CoRR Yuanfeng Ji, Chongjian Ge, Weikai Kong, Enze Xie, Zhengying Liu, Zhengguo Li, Ping Luo
2023	J	`jnl`	Lyra: Orchestrating Dual Correction in Automated Theorem Proving. CoRR Chuanyang Zheng, Haiming Wang, Enze Xie, Zhengying Liu, Jiankai Sun, Huajian Xin, Jianhao Shen, Zhenguo Li, Yu Li
2023	J	`jnl`	MetaMath: Bootstrap Your Own Mathematical Questions for Large Language Models. CoRR Longhui Yu, Weisen Jiang, Han Shi, Jincheng Yu, Zhengying Liu, Yu Zhang, James T. Kwok, Zhenguo Li, Adrian Weller, Weiyang Liu
2023	J	`jnl`	Progressive-Hint Prompting Improves Reasoning in Large Language Models. CoRR Chuanyang Zheng, Zhengying Liu, Enze Xie, Zhenguo Li, Yu Li
2023	A*	`conf`	TRIGO: Benchmarking Formal Mathematical Proof Reduction for Generative Language Models. EMNLP Jing Xiong, Jianhao Shen, Ye Yuan, Haiming Wang, Yichun Yin, Zhengying Liu, Lin Li, Zhijiang Guo, Qingxing Cao, Yinya Huang, Chuanyang Zheng, Xiaodan Liang, Ming Zhang, Qun Liu
2023	J	`jnl`	TRIGO: Benchmarking Formal Mathematical Proof Reduction for Generative Language Models. CoRR Jing Xiong, Jianhao Shen, Ye Yuan, Haiming Wang, Yichun Yin, Zhengying Liu, Lin Li, Zhijiang Guo, Qingxing Cao, Yinya Huang, Chuanyang Zheng, Xiaodan Liang, Ming Zhang, Qun Liu
2022	J	`jnl`	Advances in MetaDL: AAAI 2021 challenge and workshop. CoRR Adrian El Baz, Isabelle Guyon, Zhengying Liu, Jan N. van Rijn, Sébastien Treguer, Joaquin Vanschoren
2022	B	`conf`	Filtering participants improves generalization in competitions and benchmarks. ESANN Adrien Pavão, Isabelle Guyon, Zhengying Liu
2022	J	`jnl`	Learning to Prove Trigonometric Identities. CoRR Zhou Liu, Yujun Li, Zhengying Liu, Lin Li, Zhenguo Li
2022	J	`jnl`	Lessons learned from the NeurIPS 2021 MetaDL challenge: Backbone fine-tuning without episodic meta-learning dominates for few-shot learning image classification. CoRR Adrian El Baz, André C. P. L. F. de Carvalho, Hong Chen, Fabio Ferreira, Henry Gouk, Shell Hu, Frank Hutter, Zhengying Liu, Felix Mohr, Jan N. van Rijn, Xin Wang, Isabelle Guyon
2022	J	`jnl`	Winning solutions and post-challenge analyses of the ChaLearn AutoDL challenge 2019. CoRR Zhengying Liu, Adrien Pavao, Zhen Xu, Sergio Escalera, Fabio Ferreira, Isabelle Guyon, Sirui Hong, Frank Hutter, Rongrong Ji, Júlio C. S. Jacques Júnior, Ge Li, Marius Lindauer, Zhipeng Luo, Meysam Madadi, Thomas Nierhoff, Kangning Niu, Chunguang Pan, Danny Stoll, Sébastien Treguer, Jin Wang, Peng Wang, Chenglin Wu, Youcheng Xiong, Arber Zela, Yang Zhang
2021	—	`conf`	Advances in MetaDL: AAAI 2021 Challenge and Workshop. MetaDL@AAAI Adrian El Baz, Isabelle Guyon, Zhengying Liu, Jan N. van Rijn, Sébastien Treguer, Joaquin Vanschoren
2021	A	`conf`	AgEBO-tabular: joint neural architecture and hyperparameter search with autotuned data-parallel training for tabular data. SC Romain Égelé, Prasanna Balaprakash, Isabelle Guyon, Venkatram Vishwanath, Fangfang Xia, Rick Stevens, Zhengying Liu
2021	—	`conf`	Asymptotic Analysis of Meta-learning as a Recommendation Problem. MetaDL@AAAI Zhengying Liu, Isabelle Guyon
2021	—	`—`	Automated Deep Learning : Principles and Practice. (Apprentissage profond automatisé : principes et pratique). Zhengying Liu
2021	—	`conf`	Lessons learned from the NeurIPS 2021 MetaDL challenge: Backbone fine-tuning without episodic meta-learning dominates for few-shot learning image classification. NeurIPS (Competition and Demos) Adrian El Baz, Ihsan Ullah, Edesio Alcobaça, André C. P. L. F. de Carvalho, Hong Chen, Fabio Ferreira, Henry Gouk, Chaoyu Guan, Isabelle Guyon, Timothy M. Hospedales, Shell Hu, Mike Huisman, Frank Hutter, Zhengying Liu, Felix Mohr, Ekrem Öztürk, Jan N. van Rijn, Haozhe Sun, Xin Wang, Wenwu Zhu
2021	J	`jnl`	Winning Solutions and Post-Challenge Analyses of the ChaLearn AutoDL Challenge 2019. IEEE Trans. Pattern Anal. Mach. Intell. Zhengying Liu, Adrien Pavao, Zhen Xu, Sergio Escalera, Fabio Ferreira, Isabelle Guyon, Sirui Hong, Frank Hutter, Rongrong Ji, Júlio C. S. Jacques Júnior, Ge Li, Marius Lindauer, Zhipeng Luo, Meysam Madadi, Thomas Nierhoff, Kangning Niu, Chunguang Pan, Danny Stoll, Sébastien Treguer, Jin Wang, Peng Wang, Chenglin Wu, Youcheng Xiong, Arber Zela, Yang Zhang
2020	J	`jnl`	AgEBO-Tabular: Joint Neural Architecture and Hyperparameter Search with Autotuned Data-Parallel Training for Tabular Data. CoRR Romain Egele, Prasanna Balaprakash, Venkatram Vishwanath, Isabelle Guyon, Zhengying Liu
2020	A*	`conf`	Deep Statistical Solvers. NeurIPS Balthazar Donon, Zhengying Liu, Wenzhuo Liu, Isabelle Guyon, Antoine Marot, Marc Schoenauer
2020	J	`jnl`	LEAP nets for system identification and application to power systems. Neurocomputing Balthazar Donon, Benjamin Donnot, Isabelle Guyon, Zhengying Liu, Antoine Marot, Patrick Panciatici, Marc Schoenauer
2020	J	`jnl`	Towards automated computer vision: analysis of the AutoCV challenges 2019. Pattern Recognit. Lett. Zhengying Liu, Zhen Xu, Sergio Escalera, Isabelle Guyon, Júlio C. S. Jacques Júnior, Meysam Madadi, Adrien Pavao, Sébastien Treguer, Wei-Wei Tu
2019	—	`ch.`	Analysis of the AutoML Challenge Series 2015-2018. Automated Machine Learning Isabelle Guyon, Lisheng Sun-Hosoya, Marc Boullé, Hugo Jair Escalante, Sergio Escalera, Zhengying Liu, Damir Jajetic, Bisakha Ray, Mehreen Saeed, Michèle Sebag, Alexander R. Statnikov, Wei-Wei Tu, Evelyne Viegas
2019	B	`conf`	LEAP nets for power grid perturbations. ESANN Benjamin Donnot, Balthazar Donon, Isabelle Guyon, Zhengying Liu, Antoine Marot, Patrick Panciatici, Marc Schoenauer
2019	J	`jnl`	LEAP nets for power grid perturbations. CoRR Benjamin Donnot, Balthazar Donon, Isabelle Guyon, Zhengying Liu, Antoine Marot, Patrick Panciatici, Marc Schoenauer
2019	—	`conf`	Towards Automated Deep Learning: Analysis of the AutoDL challenge series 2019. NeurIPS (Competition and Demos) Zhengying Liu, Zhen Xu, Shangeth Rajaa, Meysam Madadi, Júlio C. S. Jacques Júnior, Sergio Escalera, Adrien Pavao, Sébastien Treguer, Wei-Wei Tu, Isabelle Guyon