ResearchTasksInfeasibility DetectionFollowBenchmarksDataset NameSOTA MethodSortMost resultsRecently updatedMost papersApplyDataset NameSOTA methodMetricTrendResultsLast Updatedminor-embeddingLlama-8b SFT99.9Infeasibility Detection Acc7Apr 3, 20263-coloring problem (test)Llama3.1-8b SFT BestOf889.2Infeasibility Detection Accuracy7Apr 3, 2026