ResearchTasksCounterexample generationCounterexample generationFollowBenchmarksDatasetSOTA methodSortMost resultsRecently updatedMost papersApplyDatasetSOTA methodMetricTrendResultsLast updatedVERI-FORMALIZEOurs174Pass@110Mar 23, 2026VERI-REASONOurs213Pass@110Mar 23, 2026FOR-COUNTEROurs222Pass@110Mar 23, 2026SAIR hard3 Official (n=20)AN3865.3Accuracy3Apr 23, 2026SAIR hard3 Local (n=400)AN45c79.25Accuracy3Apr 23, 2026