ResearchDatasetsFVELERFVELERFollowBenchmarksTaskDatasetSOTA methodSortMost resultsRecently updatedMost papersApplyTaskDatasetSOTA resultTrendResultsAutomated Theorem ProvingFVELER hard (test)64Solved Proofs4Automated Theorem ProvingFVELER (test)88Solved Proofs4