ResearchTasksFormal Logic Capability AssessmentFormal Logic Capability AssessmentFollowBenchmarksDatasetSOTA methodSortMost resultsRecently updatedMost papersApplyDatasetSOTA methodMetricTrendResultsLast updatedLogical Frameworks Capability Comparison——Primary metric0Apr 3, 2026