ResearchDatasetsQuantumTheoremsQuantumTheoremsFollowBenchmarksTaskDatasetSOTA methodSortMost resultsRecently updatedMost papersApplyTaskDatasetSOTA resultTrendResultsFormal Theorem ProvingQuantumTheorems (total)96Accuracy4Formal Theorem ProvingQuantumTheorems (intermediate)92Accuracy4Formal Theorem ProvingQuantumTheorems easy100Accuracy4