Zhengying Liu

Researcher, Moonshot AI

Joined

January 2022

Names

Zhengying Liu (Preferred)

Emails

****@inria.fr (Confirmed)

****@huawei.com (Confirmed)

****@moonshot.cn (Confirmed)

Personal Links

Google Scholar

DBLP

ACL Anthology

Career & Education History

Researcher

Moonshot AI (moonshot.cn)

2024 – Present

Researcher

Huawei Technologies Ltd. (huawei.com)

2021 – 2024

PhD student

Université Paris Sud (Paris XI) (u-psud.fr)

2017 – 2021

Advisors, Relations & Conflicts

PhD Advisor

Isabelle Guyon

2017 – 2021

Expertise

Reinforcement Learning

Present

automated theorem proving

2021 – Present

neuro-symbolic reasoning

2021 – Present

LLM

2021 – Present

AutoML

2017 – 2021

Publications

Kimina Lean Server: A High-Performance Lean Server for Large-Scale Verification
Marco Dos Santos, Hugues de Saxcé, Haiming Wang, Mantas Baksys, Mert Unsal, Junqi Liu, Zhengying Liu, Jia LI
- MATH-AI 2025 Poster
- Readers: Everyone
LeanGeo: Formalizing Competitional Geometry problems in Lean
Chendong Song, Zihan Wang, Frederick Pu, Haiming Wang, Xiaohan Lin, Junqi Liu, Jia LI, Zhengying Liu
- Submitted to ICLR 2026
- Readers: Everyone
CombiBench: Benchmarking LLM Capability for Combinatorial Mathematics
Junqi Liu, Xiaohan Lin, Bolton Bailey, Jonas Bayer, Yaël Dillies, Weijie Jiang, Xiaodan Liang, Roman Soletskyi, Haiming Wang, Yunzhou Xie, Beibei Xiong, Zhengfeng Yang, Jujian Zhang, Lihong Zhi, Zekai Zhu, Jia LI, Zhengying Liu
- ICLR 2026 Conference Desk Rejected Submission
- Readers: Everyone
Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning
Mert Unsal, Haiming Wang, Jia LI, Zhengying Liu, Mantas Baksys, Xiaohan Lin, Marco Dos Santos
- OpenReview Archive Direct Upload
- Readers: Everyone
Recovering Knowledge by Hardening Language Models
Haiming Wang, Yimeng Chen, Han Shi, Zhengying Liu, Zhenguo Li
- ICLR 2025 Conference Withdrawn Submission
- Readers: Everyone
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, Wang Xinzhi, Yong Liu, Yasheng Wang, Duyu Tang et al. (7 additional authors not shown)
- ICLR 2025 Poster
- Readers: Everyone
Process-Driven Autoformalization in Lean 4
Jianqiao Lu, Yingjia Wan, Zhengying Liu, Yinya Huang, Jing Xiong, Liu Chengwu, Jianhao Shen, Hui Jin, Jipeng Zhang, Haiming Wang, Zhicheng Yang, Jing Tang, Zhijiang Guo
- Submitted to ICLR 2025
- Readers: Everyone
FormalAlign: Automated Alignment Evaluation for Autoformalization
Jianqiao Lu, Yingjia Wan, Yinya Huang, Jing Xiong, Zhengying Liu, Zhijiang Guo
- ICLR 2025 Poster
- Readers: Everyone
Progressive-Hint Prompting Improves Reasoning in Large Language Models
Chuanyang Zheng, Zhengying Liu, Enze Xie, Zhenguo Li, Yu Li
- ICML 2024 Workshop AI4MATH Poster
- Readers: Everyone
FVEL: Interactive Formal Verification Environment with Large Language Models via Theorem Proving
Xiaohan Lin, Qingxing Cao, Yinya Huang, Haiming Wang, Jianqiao Lu, Zhengying Liu, Linqi Song, Xiaodan Liang
- NeurIPS 2024 Track Datasets and Benchmarks Poster
- Readers: Everyone

View all 39 publications

Co-Authors

View all 163 co-authors