Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Soonho Kong
conf.researchr.org general profile
FM 2026 profile
PLDI 2025 profile
POPL 2026 profile
Registered user since Wed 18 Jun 2025
Name:
Soonho Kong
Affiliation:
Amazon Web Services
Contributions
2026
Dafny
Author of ATLAS: Automated Toolkit for Large-Scale Verified Code Synthesis within the Dafny 2026-track
FM
Author of s2n-bignum-bench: A practical benchmark for evaluating low-level code reasoning of LLMs within the Workshop: AIPV-track
2025
PLDI
Speaker of AI + Lean: NeuroSymbolic AI within the PLDI Events-track
Share
x
Wed 19 Aug 23:01