ineqmath@1.0

This adapter brings IneqMath, the dev set of the first inequality-proof Q&A benchmark for LLMs, into Harbor, enabling standardized evaluation of models on mathematical reasoning and proof construction.

← Back to Registry

Run this task

CLI:

inspect eval inspect_harbor/ineqmath_1_0 --model openai/gpt-5

Python:

from inspect_ai import eval
from inspect_harbor import ineqmath_1_0

eval(ineqmath_1_0(), model="openai/gpt-5")

Dataset information

Harbor registry	ineqmath@1.0
Inspect task	ineqmath_1_0
Version	1.0
Samples	100
Paper	arxiv

See Task Parameters for the parameter set shared across all Harbor tasks.