Zhengying Liu (Preferred)
Zhengying Liu
Researcher, Moonshot AI
Joined
January 2022
Names
Emails
****@inria.fr (Confirmed)
****@huawei.com (Confirmed)
****@moonshot.cn (Confirmed)
Personal Links
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
Expertise
Reinforcement Learning
Present
automated theorem proving
2021 – Present
neuro-symbolic reasoning
2021 – Present
LLM
2021 – Present
AutoML
2017 – 2021
Publications
Co-Authors
- Adrian El Baz
- Adrian Weller
- Adrien Pavao
- Alexander R. Statnikov
- André C. P. L. F. de Carvalho
- Antoine Marot
- Arber Zela
- Balthazar Donon
- Beibei Xiong
- Benjamin Donnot
- Bin Wang
- Bisakha Ray
- Bolton Bailey
- Chaoyu Guan
- Chendong Song
- Chenglin Wu
- Chongjian GE
- Chuanyang Zheng
- Chuhan Wu
- Chunguang Pan
- Chunwei Wang
- Damir Jajetic
- Dandan Tu
- Danny Stoll
- Defu Lian