Author

H. Suh

h-index 4 View on Semantic Scholar

We have 2 of 10 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.

#natural language process... Preprint Sep 2026

Verification of PETSc with CIVL using LLM-generated ACSL contracts and deterministic driver generation

This paper presents an approach to use LLMs in a limited setting to generate a small, human-certifiable ACSL contract from the function's documentation, combined with a deterministic toolchain that supports a restricted ACSL profile and generates a driver that uses the CIVL verifier to check the implementation against...

H. Suh, J. Hückelheim, Stephen F. Siegel · 0 citations

Preprint Jul 2026

A Portable and Versatile Limited-Memory BFGS Implementation in PETSc/TAO

In the Portable Extensible Toolkit for Scientific Computation and the Toolkit for Advanced Optimization (PETSc/TAO), an intermediate dense formulation of BFGS is implemented that retains most of the good characteristics of both the recursive and compact dense approaches.

H. Suh, T. Isaac, A. Dener et al. · 0 citations