ResearchDatasetsSequential AIGFollowBenchmarksTask NameDataset NameSOTA MethodSortMost resultsRecently updatedMost papersApplyTask NameDataset NameSOTA ResultTrendResultsTransition Probability PredictionSequential AIG0.976R29Logic-1 Probability PredictionSequential AIG0.997R29