Minghao Liu -

Registered user since Mon 16 Nov 2020

Name:Minghao Liu

Country:United Kingdom

Affiliation:University of Oxford

Personal website: https://minghao-liu.github.io

Research interests:Constraint solving; Automated reasoning; Formal verification

Contributions

2026

FM

Author of Exact Verification of Graph Neural Networks with Incremental Constraint Solving within the Workshop: AIPV-track
Author of Exact Verification of Graph Neural Networks with Incremental Constraint Solving within the Research Track-track

2023

ASE

ISSTA

Author of Improving Bit-Blasting for Nonlinear Integer Constraints within the Technical Papers-track

2022

ISSTA

Author of ε-weakened Robustness of Deep Neural Networks within the Technical Papers-track