Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Samuel Teuber
conf.researchr.org general profile
ICSE 2025 profile
Not registered as user
Name:
Samuel Teuber
Affiliation:
Karlsruhe Institute of Technology
Contributions
2025
NSE
Author of Next Steps in LLM-Supported Java Verification within the Neuro-Symbolic SE-track
Share
x
Fri 28 Mar 10:36