PolyIneqBench
Benchmarks
Task NameDataset NameSOTA ResultTrendResults
PolyIneqBench n=10
11.7Pass Rate
10
PolyIneqBench n=9
15Pass Rate
10
PolyIneqBench n=8
21.7Pass Rate
10
PolyIneqBench n=7
26.7Pass Rate
10
PolyIneqBench n=6
29.5Pass Rate
10
PolyIneqBench n=5
36.7Pass Rate
10
PolyIneqBench n=4
40.3Pass Rate
10
PolyIneqBench n=3
97.6Pass Rate
10