Minghao Liu
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
40
Venues
28
Active years
2018–2026
Best venue rank
A*
Where they publish
- A*AAAI6 papers
- A*EMNLP3 papers
- A*CVPR2 papers
- A*ICML2 papers
- CCoDIT2 papers
- AISSTA2 papers
- BICPR2 papers
- A*ACL1 paper
- AEACL1 paper
- BFM1 paper
- A*ICCV1 paper
- BICIP1 paper
- A*ICLR1 paper
- AIROS1 paper
- CNeSy1 paper
- BGLOBECOM1 paper
- BPRICAI1 paper
- A*CRYPTO1 paper
- A*ECCV1 paper
- CISNCC1 paper
- A*SiggraphA1 paper
- BVTC1 paper
- ASAT1 paper
- ACP1 paper
- A*IJCAI1 paper
- A*ICRA1 paper
- BISSAC1 paper
- CKSEM1 paper
Papers
40 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | ACL | CriticLean: Critic-Guided Reinforcement Learning for Mathematical Formalization. | Zhongyuan Peng, Yifan Yao, Kaijing Ma, Shuyue Guo, Yizhe Li, Yichi Zhang, Chenchen Zhang, Yifan Zhang, Zhouliang Yu, Luming Li, Minghao Liu, Yihang Xia, Jiawei Shen, Yuchen Wu, Yixin Cao, Zhaoxiang Zhang, Wenhao Huang, Jiaheng Liu, Ge Zhang |
| 2026 | EACL | COIG-P: A High-Quality and Large-Scale Chinese Preference Dataset for Alignment with Human Values. | Siwei Wu, JinCheng Ren, Xeron Du, Shuyue Guo, Xingwei Qu, Yiming Liang, Jie Liu, Yunwen Li, Tyler Loakman, Tianyu Zheng, Boyu Feng, Huaqing Yuan, Zili Wang, Jiaheng Liu, Wenhao Huang, Chenglin Cai, Haoran Que, Jian Yang, Yuelin Bai, Zekun Moore Wang, Zhouliang Yu, Qunshu Lin, Ding Pan, Yuchen Eleanor Jiang, Tiannan Wang, Wangchunshu Zhou, Shenzhi Wang, Xingyuan Bu, Minghao Liu, Guoyin Wang, Ge Zhang, Chenghua Lin |
| 2026 | FM | Exact Verification of Graph Neural Networks with Incremental Constraint Solving. | Minghao Liu, Chia-Hsuan Lu, Marta Kwiatkowska |
| 2025 | AAAI | Human and AI Perceptual Differences in Image Classification Errors. | Minghao Liu, Jiaheng Wei, Yang Liu, James Davis |
| 2025 | AAAI | A Complete Algorithm for Optimization Modulo Nonlinear Real Arithmetic. | Fuqi Jia, Yuhang Dong, Rui Han, Pei Huang, Minghao Liu, Feifei Ma, Jian Zhang |
| 2025 | AAAI | Scalable Knowledge Refactoring Using Constrained Optimisation. | Minghao Liu, David M. Cerna, Filipe Gouveia, Andrew Cropper |
| 2025 | AAAI | UP-Restorer: When Unrolling Meets Prompts for Unified Image Restoration. | Minghao Liu, Wenhan Yang, Jinyi Luo, Jiaying Liu |
| 2025 | CVPR | OmniDocBench: Benchmarking Diverse PDF Document Parsing with Comprehensive Annotations. | Linke Ouyang, Yuan Qu, Hongbin Zhou, Jiawei Zhu, Rui Zhang, Qunshu Lin, Bin Wang, Zhiyuan Zhao, Man Jiang, Xiaomeng Zhao, Jin Shi, Fan Wu, Pei Chu, Minghao Liu, Zhenxiang Li, Chao Xu, Bo Zhang, Botian Shi, Zhongying Tu, Conghui He |
| 2025 | EMNLP | MedEBench: Diagnosing Reliability in Text-Guided Medical Image Editing. | Minghao Liu, Zhitao He, Zhiyuan Fan, Qingyun Wang, Yi R. Fung |
| 2025 | EMNLP | ConstraintLLM: A Neuro-Symbolic Framework for Industrial-Level Constraint Programming. | Weichun Shi, Minghao Liu, Wanting Zhang, Langchen Shi, Fuqi Jia, Feifei Ma, Jian Zhang |
| 2025 | ICCV | Objaverse++: Curated 3D Object Dataset with Quality Annotations. | Chendi Lin, Heshan Liu, Qunshu Lin, Zachary Bright, Shitao Tang, Yihui He, Minghao Liu, Ling Zhu, Cindy X. Le |
| 2025 | ICIP | Towards Understandable Deep Image Restoration From The Perspective Of Category Theory. | Wenhan Yang, Minghao Liu, Jinyi Luo, Jiaying Liu |
| 2025 | ICLR | KOR-Bench: Benchmarking Language Models on Knowledge-Orthogonal Reasoning Tasks. | Kaijing Ma, Xeron Du, Yunran Wang, Haoran Zhang, Zhoufutu Wen, Xingwei Qu, Jian Yang, Jiaheng Liu, Minghao Liu, Xiang Yue, Wenhao Huang, Ge Zhang |
| 2025 | ICML | Falcon: Fast Visuomotor Policies via Partial Denoising. | Haojun Chen, Minghao Liu, Chengdong Ma, Xiaojian Ma, Zailin Ma, Huimin Wu, Yuanpei Chen, Yifan Zhong, Mingzhi Wang, Qing Li, Yaodong Yang |
| 2025 | IROS | Kalib: Easy Hand-Eye Calibration with Reference Point Tracking. | Tutian Tang, Minghao Liu, Wenqiang Xu, Cewu Lu |
| 2025 | NeSy | Neurosymbolic Tag-Based Annotation for Interpretable Avatar Creation. | Minghao Liu, Zeyu Cheng, Shen Sang, Jing Liu, James Davis |
| 2024 | EMNLP | IntentionQA: A Benchmark for Evaluating Purchase Intention Comprehension Abilities of Language Models in E-commerce. | Wenxuan Ding, Weiqi Wang, Sze Heng Douglas Kwok, Minghao Liu, Tianqing Fang, Jiaxin Bai, Xin Liu, Changlong Yu, Zheng Li, Chen Luo, Qingyu Yin, Bing Yin, Junxian He, Yangqiu Song |
| 2024 | ICML | UP2ME: Univariate Pre-training to Multivariate Fine-tuning as a General-purpose Framework for Multivariate Time Series Analysis. | Yunhao Zhang, Minghao Liu, Shengyang Zhou, Junchi Yan |
| 2023 | AAAI | Can Graph Neural Networks Learn to Solve the MaxSAT Problem? (Student Abstract). | Minghao Liu, Pei Huang, Fuqi Jia, Fan Zhang, Yuchen Sun, Shaowei Cai, Feifei Ma, Jian Zhang |
| 2023 | CoDIT | A Multi-Crane Scheduling Scheme with Dynamic Priority in Transit Warehouse. | Jingwen Wang, Dan Niu, Qi Li, Minghao Liu, Xisong Chen, Mei Zhang |
| 2023 | CoDIT | A New Combined Controller for an Industrial Heavy-Duty 3D Overhead Crane System with Load Hoisting or Lowering. | Yi Zhang, Dan Niu, Qi Li, Minghao Liu, Xisong Chen, Mei Zhang |
| 2023 | GLOBECOM | CA_DeepSC: Cross-Modal Alignment for Multi-Modal Semantic Communications. | Wenjun Wang, Minghao Liu, Mingkai Chen |
| 2023 | ISSTA | Improving Bit-Blasting for Nonlinear Integer Constraints. | Fuqi Jia, Rui Han, Pei Huang, Minghao Liu, Feifei Ma, Jian Zhang |
| 2023 | PRICAI | Investigating the Existence of Holey Latin Squares via Satisfiability Testing. | Minghao Liu, Rui Han, Fuqi Jia, Pei Huang, Feifei Ma, Hantao Zhang, Jian Zhang |
| 2022 | AAAI | Word Level Robustness Enhancement: Fight Perturbation with Perturbation. | Pei Huang, Yuting Yang, Fuqi Jia, Minghao Liu, Feifei Ma, Jian Zhang |
| 2022 | CRYPTO | Nearly Optimal Property Preserving Hashing. | Justin Holmgren, Minghao Liu, LaKyah Tyner, Daniel Wichs |
| 2022 | CVPR | How much does input data type impact final face model accuracy? | Jiahao Luo, Fahim Hasan Khan, Issei Mori, Akila de Silva, Eric Sandoval Ruezga, Minghao Liu, Alex Pang, James Davis |
| 2022 | ECCV | DuelGAN: A Duel Between Two Discriminators Stabilizes the GAN Training. | Jiaheng Wei, Minghao Liu, Jiahao Luo, Andrew Zhu, James Davis, Yang Liu |
| 2022 | ICPR | Low-light Image Enhancement Using Chain-consistent Adversarial Networks. | Minghao Liu, Jiahao Luo, Xiaohan Zhang, Yang Liu, James Davis |
| 2022 | ICPR | RFNet: A Refinement Network for Semantic Segmentation. | Guilin Zhu, Runmin Wang, Chang Han, Yingying Liu, Yajun Ding, Minghao Liu, Li Liu, Nong Sang |
| 2022 | ISNCC | Stock Prediction Based on Deep Learning and its Application in Pairs Trading. | Jianlong Li, Siyuan Wang, Zhihang Zhu, Minghao Liu, Changjiang Zhang, Bingyan Han |
| 2022 | ISSTA | ε-weakened robustness of deep neural networks. | Pei Huang, Yuting Yang, Minghao Liu, Fuqi Jia, Feifei Ma, Jian Zhang |
| 2022 | SiggraphA | AgileAvatar: Stylized 3D Avatar Creation via Cascaded Domain Bridging. | Shen Sang, Tiancheng Zhi, Guoxian Song, Minghao Liu, Chun-Pong Lai, Jing Liu, Xiang Wen, James Davis, Linjie Luo |
| 2021 | VTC | A Blockchain-Based Cooperative Perception in Internet of Vehicles. | Xinghao Li, Chenchen Tan, Minghao Liu, Tom H. Luan, Longxiang Gao, Youyang Qu |
| 2021 | SAT | Efficient SAT-Based Minimal Model Generation Methods for Modal Logic S5. | Pei Huang, Rundong Li, Minghao Liu, Feifei Ma, Jian Zhang |
| 2020 | CP | Learning the Satisfiability of Pseudo-Boolean Problem with Graph Neural Networks. | Minghao Liu, Fan Zhang, Pei Huang, Shuzi Niu, Feifei Ma, Jian Zhang |
| 2019 | IJCAI | Solving the Satisfiability Problem of Modal Logic S5 Guided by Graph Coloring. | Pei Huang, Minghao Liu, Ping Wang, Wenhui Zhang, Feifei Ma, Jian Zhang |
| 2019 | ICRA | Build your own hybrid thermal/EO camera for autonomous vehicle. | Yigong Zhang, Yicheng Gao, Shuo Gu, Yubin Guo, Minghao Liu, Zezhou Sun, Zhixing Hou, Hang Yang, Ying Wang, Jian Yang, Jean Ponce, Hui Kong |
| 2019 | ISSAC | Investigating the Existence of Orthogonal Golf Designs via Satisfiability Testing. | Pei Huang, Minghao Liu, Cunjing Ge, Feifei Ma, Jian Zhang |
| 2018 | KSEM | A Community-Division Based Algorithm for Finding Relations Among Linear Constraints. | Minghao Liu, Feifei Ma, Jun Yan |