ResearchDatasetsHEAPHEAPFollowBenchmarksTaskDatasetSOTA methodSortMost resultsRecently updatedMost papersApplyTaskDatasetSOTA resultTrendResultsTrajectory trackingHEAP excavator (real-world)52.3Average Velocity (cm/s)3Class Invariant Synthesisheap10Total Invariants1