Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Daniel Mendoza
conf.researchr.org general profile
ICSE 2026 profile
Not registered as user
Name:
Daniel Mendoza
Affiliation:
Stanford University
Contributions
2026
ICSE
Author of Automating Requirements Formalization: Using LLMs and Low-Complexity Distinguishing Traces for Semantic Validation within the Research Track-track
Share
x
Wed 24 Jun 07:55