Infeasibility detection on minor-embedding
99.9Infeasibility Detection AccLlama-8b SFT
Evaluation results
| Method | Links | ||||
|---|---|---|---|---|---|
| Llama-8b SFTStrategy=BestOf82026.04 | 99.9 | 100 | 99.8 | 3.86 | |
| Llama-8b SFTStrategy=BestOf12026.04 | 98.5 | 98 | 99 | 2.3 | |
| GPT5.22026.04 | 78.5 | 61.2 | 95.8 | 8.67 | |
| GPT5.2Reasoning=true2026.04 | 77.5 | 55 | 100 | 49.68 | |
| Llama3.3-70B2026.04 | 73 | 79 | 67 | 3.72 | |
| Grok-4.1-FastReasoning=true2026.04 | 71.2 | 42.4 | 100 | 114.4 | |
| Deepseek-V3.22026.04 | 55.1 | 74.2 | 36 | 17.37 |