ResearchDatasetsMiller–SchuppMiller–SchuppFollowBenchmarksTaskDatasetSOTA methodSortMost resultsRecently updatedMost papersApplyTaskDatasetSOTA resultTrendResultsPresentation SolvingMiller–Schupp benchmark 1190-presentation640Presentations Solved12