Zhengying Liu

Researcher, Huawei Technologies Ltd.

  • Joined January 2022

Names

Zhengying Liu (Preferred)

Emails

****@inria.fr (Confirmed)
,
****@huawei.com (Confirmed)
,
****@moonshot.cn (Confirmed)

Personal Links

Career & Education History

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
2017 – 2021
 

Expertise

automated theorem proving
2021 – Present
 
neuro-symbolic reasoning
2021 – Present
 
AutoML
2017 – 2021