Verus-SpecGym: An Agentic Environment for Evaluating Specification Autoformalization
Paper • 2605.26457 • Published • 6
multilingual-reward-bench
community
AI & ML interests
None defined yet.
Recent Activity
View all activity
seungone
authored 2
papers 5 days ago
DKYoon
authored 4
papers 8 days ago
A 2-step Framework for Automated Literary Translation Evaluation: Its Promises and Pitfalls
Paper • 2412.01340 • Published
K-EXAONE Technical Report
Paper • 2601.01739 • Published • 95
On the limits and opportunities of AI reviewers: Reviewing the reviews of Nature-family papers with 45 expert scientists
Paper • 2605.20668 • Published • 12
K-BrowseComp: A Web Browsing Agent Benchmark Grounded in Korean Contexts
Paper • 2606.02404 • Published • 55
seungone
submitted a
paper to Daily Papers 8 days ago
amphora
authored 13
papers 13 days ago
Multi-Task Inference: Can Large Language Models Follow Multiple Instructions at Once?
Paper • 2402.11597 • Published
The BiGGen Bench: A Principled Benchmark for Fine-grained Evaluation of Language Models with Language Models
Paper • 2406.05761 • Published • 3
BenchHub: A Unified Benchmark Suite for Holistic and Customizable LLM Evaluation
Paper • 2506.00482 • Published • 8
From KMMLU-Redux to KMMLU-Pro: A Professional Korean Benchmark Suite for LLM Evaluation
Paper • 2507.08924 • Published • 18
Pushing on Multilingual Reasoning Models with Language-Mixed Chain-of-Thought
Paper • 2510.04230 • Published • 27
Revisiting the Uniform Information Density Hypothesis in LLM Reasoning Traces
Paper • 2510.06953 • Published • 9
Ko-PIQA: A Korean Physical Commonsense Reasoning Dataset with Cultural Context
Paper • 2509.11303 • Published
What Users Leave Unsaid: Under-Specified Queries Limit Vision-Language Models
Paper • 2601.06165 • Published • 16
Global PIQA: Evaluating Physical Commonsense Reasoning Across 100+ Languages and Cultures
Paper • 2510.24081 • Published • 24
Judging What We Cannot Solve: A Consequence-Based Approach for Oracle-Free Evaluation of Research-Level Math
Paper • 2602.06291 • Published • 24
KMMMU: Evaluation of Massive Multi-discipline Multimodal Understanding in Korean Language and Context
Paper • 2604.13058 • Published • 2
Soohak: A Mathematician-Curated Benchmark for Evaluating Research-level Math Capabilities of LLMs
Paper • 2605.09063 • Published • 80
Self-Improving CAD Generation Agents with Finite Element Analysis as Feedback
Paper • 2605.17448 • Published • 19