Proof Node Pruning
Benchmarks
DatasetSOTA methodMetricTrendResultsLast updated
1,963Review Cone
9
Apr 21, 2026
315Review Cone
8
Apr 21, 2026
31Review Cone
6
Apr 21, 2026
45Review Cone
5
Apr 21, 2026
337Review Cone
5
Apr 21, 2026
227Review Cone
5
Apr 21, 2026