Verus-SpecGym: An Agentic Environment for Evaluating Specification Autoformalization
Paper • 2605.26457 • Published • 6
HAE-RAE
non-profit
AI & ML interests
None defined yet.
Recent Activity
View all activity
Papers
View all Papers
seungone
authored 2
papers 1 day ago
Dasool
authored a
paper 1 day ago
seungone
submitted a
paper to Daily Papers 5 days ago
amphora
authored 13
papers 9 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
Cartinoe5930
authored a
paper 9 days ago
amphora
authored a
paper 9 days ago
amphora
submitted a
paper to Daily Papers 10 days ago