Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Pratyush Sahu
conf.researchr.org general profile
ICSE 2025 profile
Registered user since Wed 5 Feb 2025
Name:
Pratyush Sahu
Contributions
2025
ICSE
Author of Neurosymbolic Modular Refinement Type Inference within the Research Track-track
Share
x
Tue 18 Mar 17:44
