cd/entity/Omni-MATH· home› entities› Omni-MATH
grep -l @omni-math /news/*.json | wc -l → 4

Omni-MATH

mentions 4 type Organization feed RSS

// recent coverage 4 mentions

04:00
2026-09-30
arxiv.org
artificial-intelligence

Sage: Formalization with Semantic Correction

Sage, an agentic formalization framework described in arXiv paper 2609.35790v1, suppresses answer leakage to 2.7% while reaching 73.3% pass@4 joint compilation and semantic fidelity on Omni-MATH witho…

04:00
2026-07-01
arxiv.org
large-language-models

What Drives Interactive Improvement from Feedback?

Researchers introduced a controlled student-teacher protocol to study when natural-language feedback improves multi-turn language agent performance beyond repeated attempts. Testing thirteen open-weig…

// co-occurs with top 8 entities
// topics top 6 topics