Mengyu Zhao

PhD student, Chinese Academy of Sciences, Chinese Academy of Sciences

Joined

October 2023

Names

Mengyu Zhao (Preferred)

Emails

****@ios.ac.cn (Confirmed)

Personal Links

Career & Education History

PhD student

Chinese Academy of Sciences, Chinese Academy of Sciences (ios.ac.cn)

2022 – 2028

Advisors, Relations & Conflicts

PhD Advisor

2022 – 2028

Expertise

No areas of expertise listed

Publications

Efficient Formal Verification of Quantum Error Correcting Programs
Qifan Huang, Li Zhou, Wang Fang, Mengyu Zhao, Mingsheng Ying
- CoRR 2025
- Readers: Everyone
A Local Search Algorithm for MaxSMT(LIA)
Xiang He, Bohan Li, Mengyu Zhao, Shaowei Cai
- FM (1) 2024
- Readers: Everyone
An Efficient Local Search Algorithm for Large GD Advertising Inventory Allocation with Multilinear Constraints
Xiang He, Wuyang Mao, Zhenghang Xu, Yuanzhe Gu, Yundu Huang, Zhonglin Zu, Liang Wang, Mengyu Zhao, Mengchuan Zou
- KDD 2024
- Readers: Everyone
Distributed SMT Solving Based on Dynamic Variable-Level Partitioning
Mengyu Zhao, Shaowei Cai, Yuhang Qian
- CAV (1) 2024
- Readers: Everyone
A fast local search algorithm for minimum sum coloring problem on massive graphs
Yan Li, Mengyu Zhao, Xindi Zhang, Yiyuan Wang
- Comput. Oper. Res. 2024
- Readers: Everyone
Incremental Satisfiability Modulo Theory for Verification of Deep Neural Networks
Pengfei Yang, Zhiming Chi, Zongxin Liu, Mengyu Zhao, Cheng-Chao Huang, Shaowei Cai, Lijun Zhang
- CoRR 2023
- Readers: Everyone
An efficient local search for large-scale set-union knapsack problem
Yupeng Zhou, Mengyu Zhao, Mingjie Fan, Yiyuan Wang, Jianan Wang
- Data Technol. Appl. 2021
- Readers: Everyone
NuQClq: An Effective Local Search Algorithm for Maximum Quasi-Clique Problem
Jiejiang Chen, Shaowei Cai, Shiwei Pan, Yiyuan Wang, Qingwei Lin, Mengyu Zhao, Minghao Yin
- 2021 (modified: 14 Nov 2022)
- AAAI 2021
- Readers: Everyone

Co-Authors

View all 30 co-authors