ResearchTasksBackward-chaining ReasoningBackward-chaining ReasoningFollowBenchmarksDatasetSOTA methodSortMost resultsRecently updatedMost papersApplyDatasetSOTA methodMetricTrendResultsLast updatedSynthetic Knowledge Base 500 statementsNew Embeddings609,466.6Mean Nodes3May 21, 2026Synthetic Knowledge Base 375 statementsPrevious Embeddings129,393.9Mean Nodes3May 21, 2026Synthetic Knowledge Base 250 statementsNew Embeddings76.2Mean Nodes3May 21, 2026