Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Shaan Aryaman
conf.researchr.org general profile
ATVA 2025 profile
Not registered as user
Name:
Shaan Aryaman
Country:
United States
Affiliation:
NYU
Contributions
2025
ATVA
Author of Solution-aware vs global ReLU selection: partial MILP strikes back for DNN verification within the ATVA Papers-track
Share
x
Sun 26 Oct 12:01