ResearchDatasetsLEC circuit benchmarksFollowBenchmarksTask NameDataset NameSOTA MethodSortMost resultsRecently updatedMost papersApplyTask NameDataset NameSOTA ResultTrendResultsSAT SolvingLEC circuit benchmarks—Primary metric0