ResearchTasksLogic-1 probability predictionLogic-1 probability predictionFollowBenchmarksDatasetSOTA methodSortMost resultsRecently updatedMost papersApplyDatasetSOTA methodMetricTrendResultsLast updatedCombinational AIGTRACE0.989R2 Score10Jun 17, 2026Sequential AIGTRACE0.997R29Jun 17, 2026PM netlistsTRACE0.994R2 Score9Jun 17, 2026