← Back to PeopleSKResearcherSeungone KimResearch Intern at MetaWebsiteSeungone Kim is a researcher at Carnegie Mellon University.1Mentions1Articles1OutletsCompanies CoveredAmazon1CMU1Codeforces1ArticlesMost recent firstMentioned InReferenced in coverageVerus-SpecGym: An Agentic Environment for Evaluating Specification AutoformalizationSubstackcautiousMay 31, 2026“Seungone Kim contributed to research on specification autoformalization evaluation for AI coding agents in the Verus framework.”