Yuhao Zhang -

Not registered as user

Name:Yuhao Zhang

Affiliation:Amazon Web Services

Contributions

2026

LMPL

Author of Detecting Database Migration Non-equivalence through LLM-Assisted Mutation-Score-Guided Testing within the LMPL 2026-track
Author of SWE-Proof: Can Language Models Resolve Real-World Issues with Machine-Checked Proofs? within the LMPL 2026-track