Scholar
Soonho Kong
Google Scholar ID: GLFFduAAAAAJ
Amazon Web Services
Automated Reasoning
Theorem Proving
SMT
Cyber-physical systems
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
2,556
H-index
16
i10-index
21
Publications
20
Co-authors
0
Publications
9 items
TCSAlgBench: Benchmarking Automated Proving for Research-Level Theoretical Computer Science
2026
Cited
0
SHADOWBENCH: Toward Reliable Automatic Evaluation of Semantic Alignment in Autoformalization
2026
Cited
0
Vero: Can AI Agents Build Formally Verified Software Repositories?
2026
Cited
0
Lean Refactor: Multi-Objective Controllable Proof Optimization via Agentic Strategy Search
2026
Cited
0
Teaching LLMs Program Semantics via Symbolic Execution Traces
2026
Cited
0
Intent-aligned Formal Specification Synthesis via Traceable Refinement
2026
Cited
0
s2n-bignum-bench: A practical benchmark for evaluating low-level code reasoning of LLMs
2026
Cited
0
Learning Adaptive LLM Decoding
2026
Cited
0
Load more
