Jun Huan -

Not registered as user

Name:Jun Huan

Affiliation:AWS AI Labs

Contributions

2026

LMPL

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