Verus-SpecGym: An Agentic Environment for Evaluating Specification Autoformalization
Paper • 2605.26457 • Published • 7
Human_Eval_RLHF
university
AI & ML interests
None defined yet.
Recent Activity
View all activity
seungone
authored 2
papers 26 days ago
DKYoon
authored 4
papers 30 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 • 13
K-BrowseComp: A Web Browsing Agent Benchmark Grounded in Korean Contexts
Paper • 2606.02404 • Published • 59
seungone
submitted a
paper to Daily Papers 30 days ago
jinheon
authored 9
papers about 1 month ago
CaMMT: Benchmarking Culturally Aware Multimodal Machine Translation
Paper • 2505.24456 • Published
PRISM: Fine-Grained Paper-to-Paper Retrieval with Multi-Aspect-Aware Query Optimization
Paper • 2507.10057 • Published
Rethinking Reward Models for Multi-Domain Test-Time Scaling
Paper • 2510.00492 • Published • 28
Multimodal Prompt Optimization: Why Not Leverage Multiple Modalities for MLLMs
Paper • 2510.09201 • Published • 50
Efficient Long Context Language Model Retrieval with Compression
Paper • 2412.18232 • Published • 1
PREPING: Building Agent Memory without Tasks
Paper • 2605.13880 • Published • 28
On the limits and opportunities of AI reviewers: Reviewing the reviews of Nature-family papers with 45 expert scientists
Paper • 2605.20668 • Published • 13
It Takes Two: Complementary Self-Distillation for Contextual Integrity in LLMs
Paper • 2605.20258 • Published • 30
OmniRetrieval: Unified Retrieval across Heterogeneous Knowledge Sources
Paper • 2605.29250 • Published • 79
jinheon
submitted a
paper to Daily Papers about 1 month ago
seungone
authored a
paper about 1 month ago
seungone
submitted a
paper to Daily Papers about 1 month ago
seungone
authored a
paper about 2 months ago