Author

Soonho Kong

h-index 15 View on Semantic Scholar

We have 3 of 54 papers

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

#artificial intelligence Preprint Sep 2026

TCSAlgBench: Benchmarking Automated Proving for Research-Level Theoretical Computer Science

TCSAlgBench provides a refreshable testbed for measuring progress in model reasoning and studying how agent workflows support research-level proof discovery, and evaluates ten model configurations from four families under direct inference and prover-verifier discussion, and compares four agent workflows under matched m...

Chu-Tong Yang, Xi-Yuan Zhang, Yu Huang et al. · 0 citations

#artificial intelligence Preprint Aug 2026

SHADOWBENCH: Toward Reliable Automatic Evaluation of Semantic Alignment in Autoformalization

SA-Pass (*Semantic Alignment Pass*), which tests formal statements using auxiliary statements called shadows that characterize the intended statement, is proposed, which achieves binary agreement with expert judgments.

Hojae Han, Jongyoon Kim, Sanghyeok Park et al. · 2 citations

Preprint Aug 2026

Vero: Can AI Agents Build Formally Verified Software Repositories?

Vero is introduced, the first benchmark to evaluate joint implementation and proof synthesis at the repository level and an audit mechanism where agents are allowed to formally prove unsatisfiability of provided specification or incorrectness of reference code, which surfaces and corrects latent code and specification...

Zhe Ye, Hantao Lou, Yuechun Sun et al. · 0 citations