ResearchTasksExplanation RefinementExplanation RefinementFollowBenchmarksDatasetSOTA methodSortMost resultsRecently updatedMost papersApplyDatasetSOTA methodMetricTrendResultsLast updatedEntailmentBankFaithful-Refiner25.33Initial Score15Feb 26, 2026PrOntoQALLM-TP Tree0.98Initial Score15Feb 26, 2026ProofWriterLLM-TP Tree92Initial Score15Feb 26, 2026FOLIOLLM-TP Tree85.25Initial Score15Feb 26, 2026