PASS → Robustness-after-success
Correct Stage 1 answers were challenged with counterfactuals or assumption checks to see whether the model could defend or update its reasoning.
Partial Quantum Search LLM Evaluation
Reviewed Stage 2 evidence
Stage 2 tests whether a model's first answer survives targeted follow-up pressure.
Main result
Correct first answers and robust follow-up behavior are different abilities. Some models answered correctly in Stage 1, then became incomplete or unstable when challenged.
The strongest pattern was not a simple model-size ranking. Smaller models tended to repeat errors or introduce new ones. Larger/cloud models were usually correct one-shot, but still showed partial follow-through, missing dependent quantities, and retry instability.
Method changes
Stage 2 was not a rerun with more prompts. The design was tightened so the follow-ups measured a different ability — robustness under challenge — and so grading depended less on a single judge.
Challenge routing
Correct Stage 1 answers were challenged with counterfactuals or assumption checks to see whether the model could defend or update its reasoning.
Answers with arithmetic or numeric extraction problems were asked to recompute the relevant quantities.
Answers with conceptual failures were told the specific error and asked to repair the reasoning.
Small models · 8–12B
Most conceptual failures were concentrated in the small-model group, but the small models did not behave uniformly.
| Model | Challenge | Held | Failure character |
|---|---|---|---|
| Gemma 3 12B | SCALE conceptual redo | 0/9 | never preserved the correction term |
| Gemma 3 12B | CONSISTENCY robustness | 6/9 | struggled to propose a valid repair |
| Ministral 3 8B | BASE conceptual redo | 9/9 | corrected on instruction |
| Ministral 3 8B | CONSISTENCY robustness | 5/9 | partial repairs |
| Llama 3.1 8B | BASE conceptual redo | 0/6 | repeated the error |
| Llama 3.1 8B | CONSISTENCY robustness | 1/9 | collapsed under challenge |
| Llama 3.1 8B | SCALE numeric redo | 3/6 | partly corrected |
Larger / cloud models
The larger/cloud group was much stronger one-shot, but still showed partial follow-through and retry instability.
| Model | Challenge | Held | Failure character |
|---|---|---|---|
| Llama 3.3 70B | BASE robustness | 1/9 | could not defend parallel counting |
| Llama 3.3 70B | CONSISTENCY robustness | 8/9 | one partial |
| Llama 3.3 70B | SCALE robustness | 8/9 | one partial |
| Mistral Medium 3.5 | BASE robustness | 5/9 | dropped trailing quantity |
| Mistral Medium 3.5 | CONSISTENCY robustness | 5/9 | partial follow-through |
| Mistral Medium 3.5 | SCALE robustness | 9/9 | held |
| Perplexity Sonar | SCALE numeric redo | 1/3 | two partial |
| Perplexity Sonar / Reasoning Pro | BASE robustness | 8/9 | one partial each |
Retry instability
Mistral Medium on the BASE counterfactual was graded PASS / PASS / PARTIAL. It solved the hard recomputation in all three retries, but skipped the dependent saved-value calculation once.
| Trial | Counterfactual total | Saved / extra value | Verdict |
|---|---|---|---|
| 1 | 5934.80 correct | -5149.40 correct | PASS |
| 2 | 5934.80 correct | -5149.40 correct | PASS |
| 3 | 5934.80 correct | missing or invalid | PARTIAL |
A single follow-up would have missed this instability in multi-step instruction completion.
Failure shapes
Stage 1 connection
Stage 1 showed whether models could answer controlled PQS problems correctly. Stage 2 showed whether those answers remained stable when challenged. The key result is that robustness cannot be inferred from a correct first answer. A model may compute the right value once and still fail to defend the assumption, repair an error, or complete all dependent quantities under follow-up pressure.
Evidence
Available deploy artifacts are linked directly.