ResearchDatasetsMinor-embeddingFollowBenchmarksTask NameDataset NameSOTA MethodSortMost resultsRecently updatedMost papersApplyTask NameDataset NameSOTA ResultTrendResultsInfeasibility detectionminor-embedding99.9Infeasibility Detection Acc7Minor-embeddingMinor-embedding SAT instances91.4FJ Success Rate5