ineqmath

v1.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.

harbor run -d ineqmath@1.0

Tasks (100)

0
harbor run -d ineqmath@1.0 -t 0
cc647b2
1
harbor run -d ineqmath@1.0 -t 1
cc647b2
10
harbor run -d ineqmath@1.0 -t 10
cc647b2
11
harbor run -d ineqmath@1.0 -t 11
cc647b2
12
harbor run -d ineqmath@1.0 -t 12
cc647b2
13
harbor run -d ineqmath@1.0 -t 13
cc647b2
14
harbor run -d ineqmath@1.0 -t 14
cc647b2
15
harbor run -d ineqmath@1.0 -t 15
cc647b2
16
harbor run -d ineqmath@1.0 -t 16
cc647b2
17
harbor run -d ineqmath@1.0 -t 17
cc647b2
18
harbor run -d ineqmath@1.0 -t 18
cc647b2
19
harbor run -d ineqmath@1.0 -t 19
cc647b2
2
harbor run -d ineqmath@1.0 -t 2
cc647b2
20
harbor run -d ineqmath@1.0 -t 20
cc647b2
21
harbor run -d ineqmath@1.0 -t 21
cc647b2
22
harbor run -d ineqmath@1.0 -t 22
cc647b2
23
harbor run -d ineqmath@1.0 -t 23
cc647b2
24
harbor run -d ineqmath@1.0 -t 24
cc647b2
25
harbor run -d ineqmath@1.0 -t 25
cc647b2
26
harbor run -d ineqmath@1.0 -t 26
cc647b2
27
harbor run -d ineqmath@1.0 -t 27
cc647b2
28
harbor run -d ineqmath@1.0 -t 28
cc647b2
29
harbor run -d ineqmath@1.0 -t 29
cc647b2
3
harbor run -d ineqmath@1.0 -t 3
cc647b2
30
harbor run -d ineqmath@1.0 -t 30
cc647b2
31
harbor run -d ineqmath@1.0 -t 31
cc647b2
32
harbor run -d ineqmath@1.0 -t 32
cc647b2
33
harbor run -d ineqmath@1.0 -t 33
cc647b2
34
harbor run -d ineqmath@1.0 -t 34
cc647b2
35
harbor run -d ineqmath@1.0 -t 35
cc647b2
36
harbor run -d ineqmath@1.0 -t 36
cc647b2
37
harbor run -d ineqmath@1.0 -t 37
cc647b2
38
harbor run -d ineqmath@1.0 -t 38
cc647b2
39
harbor run -d ineqmath@1.0 -t 39
cc647b2
4
harbor run -d ineqmath@1.0 -t 4
cc647b2
40
harbor run -d ineqmath@1.0 -t 40
cc647b2
41
harbor run -d ineqmath@1.0 -t 41
cc647b2
42
harbor run -d ineqmath@1.0 -t 42
cc647b2
43
harbor run -d ineqmath@1.0 -t 43
cc647b2
44
harbor run -d ineqmath@1.0 -t 44
cc647b2
45
harbor run -d ineqmath@1.0 -t 45
cc647b2
46
harbor run -d ineqmath@1.0 -t 46
cc647b2
47
harbor run -d ineqmath@1.0 -t 47
cc647b2
48
harbor run -d ineqmath@1.0 -t 48
cc647b2
49
harbor run -d ineqmath@1.0 -t 49
cc647b2
5
harbor run -d ineqmath@1.0 -t 5
cc647b2
50
harbor run -d ineqmath@1.0 -t 50
cc647b2
51
harbor run -d ineqmath@1.0 -t 51
cc647b2
52
harbor run -d ineqmath@1.0 -t 52
cc647b2
53
harbor run -d ineqmath@1.0 -t 53
cc647b2
54
harbor run -d ineqmath@1.0 -t 54
cc647b2
55
harbor run -d ineqmath@1.0 -t 55
cc647b2
56
harbor run -d ineqmath@1.0 -t 56
cc647b2
57
harbor run -d ineqmath@1.0 -t 57
cc647b2
58
harbor run -d ineqmath@1.0 -t 58
cc647b2
59
harbor run -d ineqmath@1.0 -t 59
cc647b2
6
harbor run -d ineqmath@1.0 -t 6
cc647b2
60
harbor run -d ineqmath@1.0 -t 60
cc647b2
61
harbor run -d ineqmath@1.0 -t 61
cc647b2
62
harbor run -d ineqmath@1.0 -t 62
cc647b2
63
harbor run -d ineqmath@1.0 -t 63
cc647b2
64
harbor run -d ineqmath@1.0 -t 64
cc647b2
65
harbor run -d ineqmath@1.0 -t 65
cc647b2
66
harbor run -d ineqmath@1.0 -t 66
cc647b2
67
harbor run -d ineqmath@1.0 -t 67
cc647b2
68
harbor run -d ineqmath@1.0 -t 68
cc647b2
69
harbor run -d ineqmath@1.0 -t 69
cc647b2
7
harbor run -d ineqmath@1.0 -t 7
cc647b2
70
harbor run -d ineqmath@1.0 -t 70
cc647b2
71
harbor run -d ineqmath@1.0 -t 71
cc647b2
72
harbor run -d ineqmath@1.0 -t 72
cc647b2
73
harbor run -d ineqmath@1.0 -t 73
cc647b2
74
harbor run -d ineqmath@1.0 -t 74
cc647b2
75
harbor run -d ineqmath@1.0 -t 75
cc647b2
76
harbor run -d ineqmath@1.0 -t 76
cc647b2
77
harbor run -d ineqmath@1.0 -t 77
cc647b2
78
harbor run -d ineqmath@1.0 -t 78
cc647b2
79
harbor run -d ineqmath@1.0 -t 79
cc647b2
8
harbor run -d ineqmath@1.0 -t 8
cc647b2
80
harbor run -d ineqmath@1.0 -t 80
cc647b2
81
harbor run -d ineqmath@1.0 -t 81
cc647b2
82
harbor run -d ineqmath@1.0 -t 82
cc647b2
83
harbor run -d ineqmath@1.0 -t 83
cc647b2
84
harbor run -d ineqmath@1.0 -t 84
cc647b2
85
harbor run -d ineqmath@1.0 -t 85
cc647b2
86
harbor run -d ineqmath@1.0 -t 86
cc647b2
87
harbor run -d ineqmath@1.0 -t 87
cc647b2
88
harbor run -d ineqmath@1.0 -t 88
cc647b2
89
harbor run -d ineqmath@1.0 -t 89
cc647b2
9
harbor run -d ineqmath@1.0 -t 9
cc647b2
90
harbor run -d ineqmath@1.0 -t 90
cc647b2
91
harbor run -d ineqmath@1.0 -t 91
cc647b2
92
harbor run -d ineqmath@1.0 -t 92
cc647b2
93
harbor run -d ineqmath@1.0 -t 93
cc647b2
94
harbor run -d ineqmath@1.0 -t 94
cc647b2
95
harbor run -d ineqmath@1.0 -t 95
cc647b2
96
harbor run -d ineqmath@1.0 -t 96
cc647b2
97
harbor run -d ineqmath@1.0 -t 97
cc647b2
98
harbor run -d ineqmath@1.0 -t 98
cc647b2
99
harbor run -d ineqmath@1.0 -t 99
cc647b2