Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Georgios Sakkas
conf.researchr.org general profile
ICSE 2025 profile
Not registered as user
Name:
Georgios Sakkas
Affiliation:
UC San Diego
Contributions
2025
ICSE
Author of Neurosymbolic Modular Refinement Type Inference within the Research Track-track
Share
x
Wed 19 Mar 14:12
