Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Yuhan Sun
conf.researchr.org general profile
FSE 2026 profile
Registered user since Sun 22 Mar 2026
Name:
Yuhan Sun
Contributions
2026
ESEC/FSE
Author of Event-B Agent: Towards LLM Agent for Formal Model Synthesis and Repair within the Research Papers-track
Share
x
Fri 12 Jun 19:55