Kaijie Liu -

Registered user since Thu 14 Nov 2024

Name:Kaijie Liu

Affiliation:University of New South Wales, Sydney

Contributions

2026

AIware

Author of Detecting Unsoundness in Neural Network Verifiers via Concrete–Abstract Consistency within the Main Track-track