Concept Synth INDUCTION v1 - EC
General QA · 2026-05-23
The existential-completion split of INDUCTION v1. A formula is valid when every partially observed input world has some completion under which the formula matches all target labels, checked exactly with Z3.
Top models (higher is better)
| Model | Score |
|---|---|
| GPT-5.4 | 94.0 |
| GPT-5.2 | 78.0 |
| Opus 4.6 | 58.0 |
| DeepSeek-V4-Pro | 53.8 |
| Gemini 3 Pro Preview | 53.5 |
| Grok 4 | 53.3 |
| Gemini 3.1 Pro Preview | 53.0 |
| Gemini 3.5 Flash | 51.5 |
| Grok 4.1 Fast | 41.0 |
| Grok 4.3 | 38.5 |
| DeepSeek-V3.2 | 33.0 |
| Opus 4.5 | 30.0 |
| GPT-4o | 2.0 |