Mathematics
IneqMath
IneqMath: Olympiad-level inequality problems reformulated into bound estimation and relation prediction subtasks. Binary response = the final-answer-judge correctness (deterministically reconstructed from the released per-problem responses and validated to match the released scores.json aggregates). Upstream releases full per-problem output for one worked-example model (gpt-4o-mini); the 50+ leaderboard models are aggregate-only.
100items
1subjects
CC-BY-SA-4.0license
mathematicsdomain
reasoningdomain
textmodality
item-level responses released
Saturation status: Unknown
Response matrix
Fit to width. Hover for subject & item; click a cell for details.
Correct (1)Incorrect (0)Unobserved
Scale: 1 = correct · 0 = incorrect