ResearchTasksLogic-1 probability predictionFollowBenchmarksDataset NameSOTA MethodSortMost resultsRecently updatedMost papersApplyDataset NameSOTA methodMetricTrendResultsLast UpdatedCombinational AIGTRACE0.989R2 Score10Jun 17, 2026Sequential AIGTRACE0.997R29Jun 17, 2026PM netlistsTRACE0.994R2 Score9Jun 17, 2026