List your company

Augmented Proof State

Benchmarks

TaskDatasetSOTA resultTrendResults
Augmented Proof State (test)
24.6R@1
2