Zhengying Liu
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
16
Venues
7
Active years
2019–2025
Best venue rank
A*
Where they publish
Papers
16 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ICLR | ToolACE: Winning the Points of LLM Function Calling. | 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 | ICLR | FormalAlign: Automated Alignment Evaluation for Autoformalization. | Jianqiao Lu, Yingjia Wan, Yinya Huang, Jing Xiong, Zhengying Liu, Zhijiang Guo |
| 2024 | ACL | Forward-Backward Reasoning in Large Language Models for Mathematical Verification. | Weisen Jiang, Han Shi, Longhui Yu, Zhengying Liu, Yu Zhang, Zhenguo Li, James T. Kwok |
| 2024 | ICLR | Gaining Wisdom from Setbacks: Aligning Large Language Models via Mistake Analysis. | 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 | ICLR | MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data. | Yinya Huang, Xiaohan Lin, Zhengying Liu, Qingxing Cao, Huajian Xin, Haiming Wang, Zhenguo Li, Linqi Song, Xiaodan Liang |
| 2024 | ICLR | Large Language Models as Automated Aligners for benchmarking Vision-Language Models. | Yuanfeng Ji, Chongjian Ge, Weikai Kong, Enze Xie, Zhengying Liu, Zhenguo Li, Ping Luo |
| 2024 | ICLR | LEGO-Prover: Neural Theorem Proving with Growing Libraries. | 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 | ICLR | MetaMath: Bootstrap Your Own Mathematical Questions for Large Language Models. | Longhui Yu, Weisen Jiang, Han Shi, Jincheng Yu, Zhengying Liu, Yu Zhang, James T. Kwok, Zhenguo Li, Adrian Weller, Weiyang Liu |
| 2024 | NAACL | ATG: Benchmarking Automated Theorem Generation for Generative Language Models. | Xiaohan Lin, Qingxing Cao, Yinya Huang, Zhicheng Yang, Zhengying Liu, Zhenguo Li, Xiaodan Liang |
| 2023 | ACL | DT-Solver: Automated Theorem Proving with Dynamic-Tree Sampling Guided by Proof-level Value Function. | 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 | EMNLP | TRIGO: Benchmarking Formal Mathematical Proof Reduction for Generative Language Models. | 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 | ESANN | Filtering participants improves generalization in competitions and benchmarks. | Adrien Pavo, Isabelle Guyon, Zhengying Liu |
| 2021 | AAAI | Advances in MetaDL: AAAI 2021 Challenge and Workshop. | Adrian El Baz, Isabelle Guyon, Zhengying Liu, Jan N. van Rijn, Sbastien Treguer, Joaquin Vanschoren |
| 2021 | AAAI | Asymptotic Analysis of Meta-learning as a Recommendation Problem. | Zhengying Liu, Isabelle Guyon |
| 2021 | SC | AgEBO-tabular: joint neural architecture and hyperparameter search with autotuned data-parallel training for tabular data. | Romain gel, Prasanna Balaprakash, Isabelle Guyon, Venkatram Vishwanath, Fangfang Xia, Rick Stevens, Zhengying Liu |
| 2019 | ESANN | LEAP nets for power grid perturbations. | Benjamin Donnot, Balthazar Donon, Isabelle Guyon, Zhengying Liu, Antoine Marot, Patrick Panciatici, Marc Schoenauer |