ResearchTasksExplanation RefinementFollowBenchmarksDataset NameSOTA MethodSortMost resultsRecently updatedMost papersApplyDataset NameSOTA methodMetricTrendResultsLast UpdatedEntailmentBankFaithful-Refiner25.33Initial Score15Feb 26, 2026PrOntoQALLM-TP Tree0.98Initial Score15Feb 26, 2026ProofWriterLLM-TP Tree92Initial Score15Feb 26, 2026FOLIOLLM-TP Tree85.25Initial Score15Feb 26, 2026