Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Jingyang Li
conf.researchr.org general profile
ASE 2023 profile
POPL 2027 profile
Registered user since Thu 31 Aug 2023
Name:
Jingyang Li
Affiliation:
Shanghai Jiao Tong University
Contributions
2027
VMCAI
Author of Counterexample-Guided Branching via Directional Relaxation Gaps for Neural Network Verification within the VMCAI 2027-track
2023
ASE
Author of HOBAT: Batch Verification for Homogeneous Structural Neural Networks within the Research Papers-track
Share
x
Sat 7 Nov 03:53