PPL
Seungone Kim
Papers (3)
Verus-SpecGym: An Agentic Environment for Evaluating Specification AutoformalizationOn the limits and opportunities of AI reviewers: Reviewing the reviews of Nature-family papers with 45 expert scientistsSoohak: A Mathematician-Curated Benchmark for Evaluating Research-level Math Capabilities of LLMs