ResearchTasksTheorem Proving (Substitution Network)Theorem Proving (Substitution Network)FollowBenchmarksDatasetSOTA methodSortMost resultsRecently updatedMost papersApplyDatasetSOTA methodMetricTrendResultsLast updatedset.mm (val)MetaGen-IL0.685Prob12Feb 26, 2026iset.mm (val)MetaGen-IL0.255Probability2Feb 26, 2026