Guanqin Zhang - ECOOP 2025

Mon 30 June - Fri 4 July 2025 Bergen, Norway

Registered user since Mon 26 Oct 2020

Name:Guanqin Zhang

Country:Australia

Affiliation:University of New South Wales & CSIRO's Data61

Personal website: https://guanqin-123.github.io/

Contributions

2025

ECOOP

Efficient Neural Network Verification via Order Leading Exploration of Branch-and-Bound Trees
Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track

Show activities from other conferences

Using general profile