ResearchDatasetsLogical Frameworks Capability ComparisonLogical Frameworks Capability ComparisonFollowBenchmarksTaskDatasetSOTA methodSortMost resultsRecently updatedMost papersApplyTaskDatasetSOTA resultTrendResultsFormal Logic Capability AssessmentLogical Frameworks Capability Comparison—Primary metric0