ResearchTasksLong-horizon cascade synthesisFollowBenchmarksDataset NameSOTA MethodSortMost resultsRecently updatedMost papersApplyDataset NameSOTA methodMetricTrendResultsLast UpdatedPBEBench HardBoK + All Symbolic85.8Accuracy10May 8, 2026