ResearchTasksLong-horizon cascade synthesisLong-horizon cascade synthesisFollowBenchmarksDatasetSOTA methodSortMost resultsRecently updatedMost papersApplyDatasetSOTA methodMetricTrendResultsLast updatedPBEBench HardBoK + All Symbolic85.8Accuracy10May 8, 2026