Formal Theorem Proving on Inequality
3.1567NEQ
Hilbert
Updated 1mo ago
Evaluation Results
| Method | Links | |||
|---|---|---|---|---|
2026.04 | 3.1 | 1.28 | 2.92 | |
2026.04 | 2.86 | 1.48 | 3.4 | |
2026.04 | 1.52 | 0.79 | 1.07 | |
2026.04 | 1.44 | 0.61 | 0.82 | |
2026.04 | 1.3 | 1.47 | 0.92 | |
2026.04 | 1.12 | 1.39 | 1.2 | |
2026.04 | 0.81 | 0.65 | 0.68 | |
2026.04 | 0.78 | 0.52 | 0.96 | |
2026.04 | 0.62 | 0.68 | 0.76 | |
2026.04 | 0.53 | 0.68 | 0.5 | |
2026.04 | 0.51 | 0.47 | 0.52 | |
2026.04 | 0.38 | 0.33 | 0.36 | |
2026.04 | 0.28 | 0.24 | 0.3 |