Seungone Kim PRO

seungone's activity

• All
• Models
• Datasets
• Spaces
• Buckets
• Papers
• Collections
• Community
• Posts
• Upvotes
• Likes
• Articles

upvoted a paper 11 days ago

Verus-SpecGym: An Agentic Environment for Evaluating Specification Autoformalization

Paper • 2605.26457 • Published 30 days ago • 7

authored 2 papers 19 days ago

Verus-SpecGym: An Agentic Environment for Evaluating Specification Autoformalization

Paper • 2605.26457 • Published 30 days ago • 7

K-BrowseComp: A Web Browsing Agent Benchmark Grounded in Korean Contexts

Paper • 2606.02404 • Published 24 days ago • 57

upvoted a paper 23 days ago

K-BrowseComp: A Web Browsing Agent Benchmark Grounded in Korean Contexts

Paper • 2606.02404 • Published 24 days ago • 57

updated a dataset 23 days ago

prometheus-eval/k-browsecomp

Viewer • Updated 23 days ago • 700 • 1.95k • 7

submitted a paper to Daily Papers 23 days ago

K-BrowseComp: A Web Browsing Agent Benchmark Grounded in Korean Contexts

Paper • 2606.02404 • Published 24 days ago • 57

liked a dataset 23 days ago

prometheus-eval/k-browsecomp

Viewer • Updated 23 days ago • 700 • 1.95k • 7

liked a dataset 28 days ago

prometheus-eval/peerreview-bench

Viewer • Updated 28 days ago • 27.4k • 186 • 1

updated a dataset 28 days ago

prometheus-eval/peerreview-bench

Viewer • Updated 28 days ago • 27.4k • 186 • 1

authored a paper about 1 month ago

On the limits and opportunities of AI reviewers: Reviewing the reviews of Nature-family papers with 45 expert scientists

Paper • 2605.20668 • Published May 20 • 12

upvoted a paper about 1 month ago

On the limits and opportunities of AI reviewers: Reviewing the reviews of Nature-family papers with 45 expert scientists

Paper • 2605.20668 • Published May 20 • 12

submitted a paper to Daily Papers about 1 month ago

On the limits and opportunities of AI reviewers: Reviewing the reviews of Nature-family papers with 45 expert scientists

Paper • 2605.20668 • Published May 20 • 12

upvoted a paper about 1 month ago

VibeProteinBench: An Evaluation Benchmark for Language-interfaced Vibe Protein Design

Paper • 2605.10978 • Published May 13 • 19

authored 2 papers about 1 month ago

Reasoning over mathematical objects: on-policy reward modeling and test time aggregation

Paper • 2603.18886 • Published Mar 19 • 6

Soohak: A Mathematician-Curated Benchmark for Evaluating Research-level Math Capabilities of LLMs

Paper • 2605.09063 • Published May 9 • 82

upvoted a paper about 1 month ago

Soohak: A Mathematician-Curated Benchmark for Evaluating Research-level Math Capabilities of LLMs

Paper • 2605.09063 • Published May 9 • 82

published a dataset 2 months ago

prometheus-eval/peerreview-bench

Viewer • Updated 28 days ago • 27.4k • 186 • 1

upvoted a paper 3 months ago

Reasoning over mathematical objects: on-policy reward modeling and test time aggregation

Paper • 2603.18886 • Published Mar 19 • 6

authored 2 papers 6 months ago

Measuring Sycophancy of Language Models in Multi-turn Dialogues

Paper • 2505.23840 • Published May 28, 2025 • 3

Does Math Reasoning Improve General LLM Capabilities? Understanding Transferability of LLM Reasoning

Paper • 2507.00432 • Published Jul 1, 2025 • 79