Minghao Liu

4 papers at tracked venues · 2 at CORE A* · active 2025–2026

DBLP profile ↗ORCID search ↗

Venues

AAAI ×2 EMNLP ×1 FM ×1

Frequent coauthors

Fuqi Jia

×2

Feifei Ma

×2

Jian Zhang

×2

Chia-Hsuan Lu

×1

Marta Kwiatkowska

×1

Yuhang Dong

×1

Rui Han

×1

Pei Huang

×1

Weichun Shi

×1

Wanting Zhang

×1

Langchen Shi

×1

David M. Cerna

×1

Papers

Exact Verification of Graph Neural Networks with Incremental Constraint Solving
FM 2026 · Minghao Liu,
Chia-Hsuan Lu
,
Marta Kwiatkowska
A Complete Algorithm for Optimization Modulo Nonlinear Real Arithmetic
AAAI 2025 ·
Fuqi Jia
,
Yuhang Dong
,
Rui Han
,
Pei Huang
, Minghao Liu,
Feifei Ma
,
Jian Zhang
ConstraintLLM: A Neuro-Symbolic Framework for Industrial-Level Constraint Programming
EMNLP 2025 ·
Weichun Shi
, Minghao Liu,
Wanting Zhang
,
Langchen Shi
,
Fuqi Jia
,
Feifei Ma
,
Jian Zhang
Scalable Knowledge Refactoring Using Constrained Optimisation
AAAI 2025 · Minghao Liu,
David M. Cerna
,
Filipe Gouveia
,
Andrew Cropper