Share your thoughts, 1 month free Claude Pro on usSee more
WorkDL logo mark

Formal Theorem Proving on Inequality

3.1567NEQ

Hilbert

0.16720.92861.692.4514Apr 29, 2026
Updated 1mo ago

Evaluation Results

MethodLinks
2026.04
3.11.282.92
2026.04
2.861.483.4
2026.04
1.520.791.07
2026.04
1.440.610.82
2026.04
1.31.470.92
2026.04
1.121.391.2
2026.04
0.810.650.68
2026.04
0.780.520.96
2026.04
0.620.680.76
2026.04
0.530.680.5
2026.04
0.510.470.52
2026.04
0.380.330.36
2026.04
0.280.240.3