ResearchDatasetsMinor-embeddingMinor-embeddingFollowBenchmarksTaskDatasetSOTA methodSortMost resultsRecently updatedMost papersApplyTaskDatasetSOTA resultTrendResultsInfeasibility detectionminor-embedding99.9Infeasibility Detection Acc7Minor-embeddingMinor-embedding SAT instances91.4FJ Success Rate5