ResearchTasksSimple P-log Program ComputationSimple P-log Program ComputationFollowBenchmarksDatasetSOTA methodSortMost resultsRecently updatedMost papersApplyDatasetSOTA methodMetricTrendResultsLast updateddiceplog10Preparation Time (s)19May 12, 2026robotplog10Preparation Time (s)16May 12, 2026