Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Yuyi Zhong
conf.researchr.org general profile
ASE 2023 profile
FSE 2025 profile
POPL 2023 profile
Registered user since Tue 15 Aug 2023
Name:
Yuyi Zhong
Affiliation:
National University of Singapore, Singapore
Contributions
2023
ASE
Author of Expediting Neural Network Verification via Network Reduction within the Research Papers-track
VMCAI
Author of ARENA: Enhancing Abstract Refinement for Neural Network Verification within the VMCAI 2023-track
Share
x
Mon 19 May 22:46
