ResearchTasksFirst-order logical inferenceFirst-order logical inferenceFollowBenchmarksDatasetSOTA methodSortMost resultsRecently updatedMost papersApplyDatasetSOTA methodMetricTrendResultsLast updatedFOLIO-wiki (testable)CR87.45Accuracy17Feb 26, 2026