ResearchDatasetsLEC circuit benchmarksLEC circuit benchmarksFollowBenchmarksTaskDatasetSOTA methodSortMost resultsRecently updatedMost papersApplyTaskDatasetSOTA resultTrendResultsSAT SolvingLEC circuit benchmarks—Primary metric0