Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Yang Hong
conf.researchr.org general profile
MODELS 2026 profile
Not registered as user
Name:
Yang Hong
Country:
United States
Affiliation:
University of Texas at Austin
Contributions
2026
MODELS
Author of Anvil: LLM-Powered Synthesis, Validation, and Repair of Alloy Specifications within the Research Papers-track
Share
x
Thu 29 Oct 00:13