Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Sirshendu Das
conf.researchr.org general profile
PLDI 2025 profile
Not registered as user
Name:
Sirshendu Das
Country:
India
Affiliation:
Indian Statistical Institute
Contributions
2025
LCTES
Author of Modeling and Verification of Sigma Delta Neural Networks using Satisfiability Modulo Theory within the LCTES 2025-track
Share
x
Sun 2 Nov 13:23