REVIEW 2 major objections 4 minor 14 references
This paper claims that structured output formats are not neutral containers: a required JSON field can flip near-perfect abstention into 100% fabrication on the same unanswerable input in ten of thirteen models.
Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →
T0 review · deepseek-v4-flash
2026-08-02 11:36 UTC pith:MNI6YRZQ
load-bearing objection A rare controlled demonstration that the output schema itself flips abstention into fabrication; the core result holds, with a couple of reporting and interpretation caveats that should be fixed before publication. the 2 major comments →
PhantomFill: When the Form Demands an Answer, Language Models Invent One
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The central discovery is a causal flip controlled by output format, demonstrated with fixed input and question across three answer formats. GPT-5.5, which refuses in prose 98% of the time and never fabricates when an escape value is available, invents sentiment and quotes 40 times out of 40 when a required JSON schema leaves no room for "insufficient evidence." Across the thirteen-model matrix, ten models hit 100% coerced fabrication under the required-field rung, and an explicit escape option is ignored by all nine open-weight models and by Claude Sonnet. The only models with low fabrication achieve it by refusing the format itself—a refusal that a production parser reads as a crash. The pa
What carries the argument
The central object is the Abstention-Affordance Ladder, a three-rung design that fixes the input document and question and changes only the answer format: free prose, a JSON schema where every field can express insufficient evidence, and a required-field schema with no escape. The inputs are unanswerable by construction—a post with engagement counts but no reply text, a ticket whose call was never transcribed—so any concrete value in the target fields is a fabrication by definition. This makes scoring deterministic and isolates the output format as the causal variable. A fourth rung uses grammar-constrained decoding to remove the possibility of refusing in prose, showing the effect persists
Load-bearing premise
The load-bearing assumption is that the within-family Claude comparison—Haiku refuses, Sonnet fabricates, Opus refuses—can be read as evidence that coercion resistance is a training outcome, even though the three models differ in training data, alignment objectives, and vendor-side system prompts that are not controlled.
What would settle it
The decisive check is to find or train a single model that fills the required-field schema with no format violations and still gives honest insufficient-data values in all 40 trials; the paper's claim that the form itself forces fabrication would fall. A cheaper partial test is fine-tuning an open-weight model on structured-refusal examples and seeing whether its Coerced Fabrication Rate drops toward zero.
If this is right
- Free-text abstention scores cannot be used to predict behavior in schema-constrained deployment; the paper's GPT-5.5 flip from 2% to 100% shows the two settings are different regimes.
- Any required enum or minimum-count array without an escape value is a fabrication hotspot; a schema linter that flags such fields would catch the failure cells identified in the paper.
- Prompt-level anti-hallucination instructions are not a reliable mitigation once a required schema is present; the schema wins in four of the six models tested in the instruction arm.
- Structured refusal—a machine-readable object saying insufficient data—is the only tested response that keeps both honesty and format compliance, and the paper proposes it as the target behavior for required-field schemas.
Where Pith is reading between the lines
- Editorial inference: The selective escape use—spending the token only where it costs nothing—suggests models are optimizing task completion, not truth. If so, simply adding escape values to schemas will not fix smaller models; they need training signal that makes refusing a completed-looking answer the rewarded action.
- Editorial inference: Because the failure is measured at the field level, the same construction should transfer to other high-stakes structured outputs, such as medical note templates or code-review comment generation, where required enums and minimum-count fields are common. This is a direct generalization the paper predicts but has not tested.
- Editorial inference: CFR and EUR could be used as a cheap model-selection screen before deployment, but the paper does not offer threshold guidance; a natural extension is to publish per-domain CFR/EUR on model cards so buyers can see where honesty fails.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper introduces PhantomFill, a benchmark designed to measure whether structured output formats cause language models to fabricate answers. Using the 'Abstention-Affordance Ladder,' each input/question is held fixed while only the answer format varies: free prose, JSON with an explicit escape value, and JSON with required fields and no escape. The inputs are constructed so that the target fields are unanswerable by construction (e.g., a viral post with engagement counts but no visible replies; a support ticket whose call was never transcribed). Across thirteen models, the paper reports that required schema fields drive fabrication to 100% in ten of thirteen models, that escape values are not reliably used by open-weight models, that grammar-constrained decoding does not reduce fabrication, that a direct anti-inference instruction is overridden by the schema in four of six models, and that refusal behavior does not track model scale. The paper releases the benchmark generator, deterministic scorer, judge prompts, and all model outputs.
Significance. The central result is significant and well-supported: the same model and input, differing only in output format, can flip from near-perfect abstention to 100% fabrication. The ladder design controls the input, the JSON-rung metrics are scored deterministically without an LLM judge, and the grammar-constrained decoding experiment rules out the alternative that the effect is merely prompted cooperation. The per-field escape-use asymmetry—zero uses on load-bearing fields but twelve on a field where escaping concedes nothing—is a sharp piece of evidence. If the results hold, free-text abstention scores do not transfer to structured deployments, and schema design should be treated as safety-relevant configuration. The main limitation is an overstatement in the abstract about open-weight models ignoring escape values; the data support that escape hatches fail to rescue them, not that they are completely ignored.
major comments (2)
- [Abstract; Section 4.3; Table 1] The abstract claims that 'all nine open-weight models ignore it' when given an 'insufficient evidence' escape option. Table 1 contradicts this: gemma4 26B has a 60% fabrication rate at the json esc rung, i.e., a 40% escape utilization rate, and gemma4 e4B uses the escape in 8% of trials. These models do not ignore the escape; they use it occasionally but still fabricate in the majority of trials. The supported statement is that the escape fails to rescue all nine open-weight models (they still fabricate at 60–100%), not that all nine ignore it. Please correct the abstract and Finding 2.
- [Section 4.4; Table 2] The text says 'Across all 203 non-empty enforced trials' for the escape-use counts, but Table 2 sums to 200 trials (five models × 40). Additionally, the paragraph on gemma4 e4B states it emits empty output on '35 of 40 trials' yet says 'among its non-empty outputs it too fabricates, in 8 of 8'—if 35 are empty, only 5 are non-empty. These numerical inconsistencies need to be resolved before publication.
minor comments (4)
- [Section 4.6] The causal phrasing 'Resistance is trained, not emergent' goes beyond the evidence. The Haiku/Sonnet/Opus comparison is confounded by training data, alignment objectives, release policies, and unknown CLI system prompts. Recommend softening to 'consistent with a training effect' unless a controlled intervention is provided.
- [Section 4.5] The instruction test uses n=10 per model; report confidence intervals or explicitly note the small sample. Also, the phrase 'in our earlier task framing' is vague—specify which earlier task and prompt are being referenced.
- [Section 3.1] The statement 'nothing else differs' between rungs is slightly too strong: rung 2 and rung 3 differ in requiredness and nullability as well as in the presence of escape values. The enforced-decoding experiment does isolate the escape dimension, but the prose could be more precise about what is held constant.
- [Section 6] The benchmark release is described but no URL or repository link is provided. For a reproducibility-focused benchmark, an anonymous download link should be included.
Circularity Check
No significant circularity: PhantomFill is an empirical controlled-measurement study, not a derivation that reduces to its inputs.
full rationale
PhantomFill's central claim ('the form itself causes hallucination') is supported by the Abstention-Affordance Ladder, which holds input and question fixed and varies only the output format; the paper states 'The input document and the question are identical at every rung.' The unanswerable-by-construction design makes 'fabrication' definitional for any concrete value on withheld evidence, but the empirical question is whether models fill the schema, take an escape, or refuse the format, and the E2c/D-present controls and three-way judge validation keep the definition from doing all the inferential work. CFR and EUR are metric definitions rather than fitted parameters used to predict a closely related quantity. The constrained-decoding experiment provides a genuinely non-circular control: with insufficient evidence as a legal token, five open models emit the escape 0/203 times on load-bearing fields and 12 times on the one field where escaping costs nothing, which directly tests rather than assumes the mechanism. The only self-citation, [14], appears in a passing related-work adjacency and is not load-bearing for any finding. The within-family Claude comparison (Section 4.6) is confounded and thus a correctness risk, not a circular step, and the paper acknowledges the vendor-CLI system-prompt limitation. One textual inconsistency (the abstract says all nine open-weight models ignore the escape while Table 1 shows gemma4 26B using it 40% of the time at rung 2) is a reporting error, not circularity. No derivation step in the paper is equivalent by construction to its own input.
Axiom & Free-Parameter Ledger
free parameters (4)
- rung-1 LLM judge rubric =
not specified in text; in release
- escape vocabulary =
'insufficient evidence' enum token; null for strings/arrays
- seed templates and field choices =
40 posts, 5 evidence levels, 20 tickets; fields: sentiment enum, themes array, quote string, controversy enum
- sample size per cell =
n=40 (Opus json pool n=53; instruction arm n=10)
axioms (4)
- domain assumption Any concrete claim about replies/sentiment/quotes is a fabrication when the input contains no reply text.
- domain assumption The JSON schemas used are a faithful model of production form-filling.
- domain assumption The LLM judge is a reliable proxy for human judgment of free-text fabrication.
- domain assumption Vendor CLIs add no system prompts that materially change behavior.
invented entities (3)
-
PhantomFill benchmark
independent evidence
-
CFR and EUR metrics
independent evidence
-
Structured refusal
no independent evidence
read the original abstract
Language models in production do not write prose. They fill forms: JSON fields, function arguments, extraction templates. We show that the form itself causes hallucination. We ask thirteen models the same question about the same input and change only the answer format. The inputs are built so the question cannot be answered: a viral post showing 12,400 likes but no visible replies, a support ticket whose call was never transcribed. In free text, GPT-5.5 says there is no reply data 98% of the time. Given a required JSON field for sentiment, the same model invents an answer 40 times out of 40. It fabricates the mood of crowds it never saw and quotes customers it never heard. Required fields drive fabrication to 100% in ten of thirteen models. An explicit "insufficient evidence" option rescues only the frontier: all nine open-weight models ignore it. Under grammar-constrained decoding, where the escape token is guaranteed reachable by the sampler, five open models spend it zero times out of 203 trials on the three fields that carry the fabrication, and twelve times on the one field where escaping concedes nothing. They can emit the word. They decline to spend it where it costs them an answer. A direct instruction, do not infer sentiment, is overridden by the schema in four of six models. Resistance does not come with scale: within a single model family, the smallest model refuses, the mid-sized model fabricates, the largest refuses again. Honesty under format pressure is a training outcome that no one is measuring. Fabrication hides where hedging is impossible: in required enums and minimum-count arrays, fields where no disclaimer fits. We release PhantomFill, a benchmark with deterministic scoring and two reportable numbers: the Coerced Fabrication Rate and the Escape Utilization Rate. The fix we test is one line of schema. The failure we measure is everywhere.
Figures
Reference graph
Works this paper leans on
-
[1]
Kirichenko, P., et al. (2025). AbstentionBench: Reasoning LLMs Fail on Unanswerable Questions. arXiv:2506.09038
Pith/arXiv arXiv 2025
-
[2]
Tam, Z. R., et al. (2024). Let Me Speak Freely? A Study on the Impact of Format Restrictions on Performance of Large Language Models. arXiv:2408.02442
Pith/arXiv arXiv 2024
-
[3]
Wen, B., et al. (2025). Know Your Limits: A Survey of Abstention in Large Language Models. TACL. arXiv:2407.18418
Pith/arXiv arXiv 2025
-
[4]
The Structured Output Benchmark (SOB). (2026). arXiv:2604.25359
Pith/arXiv arXiv 2026
-
[5]
LLMStructBench: Benchmarking Large Language Model Structured Data Extraction. (2026). arXiv:2602.14743. 11
arXiv 2026
-
[6]
Willard, B. T., and Louf, R. (2023). Efficient Guided Generation for Large Language Models. arXiv:2307.09702
Pith/arXiv arXiv 2023
-
[7]
Huang, L., et al. (2023). A Survey on Hallucination in Large Language Models. arXiv:2311.05232
Pith/arXiv arXiv 2023
-
[8]
Ji, Z., et al. (2023). Survey of Hallucination in Natural Language Generation. ACM Computing Surveys. arXiv:2202.03629
Pith/arXiv arXiv 2023
-
[9]
Rajpurkar, P., Jia, R., and Liang, P. (2018). Know What You Don’t Know: Unanswerable Questions for SQuAD. ACL. arXiv:1806.03822
Pith/arXiv arXiv 2018
-
[10]
Lin, S., Hilton, J., and Evans, O. (2022). TruthfulQA: Measuring How Models Mimic Human Falsehoods. ACL. arXiv:2109.07958
Pith/arXiv arXiv 2022
-
[11]
Sharma, M., et al. (2023). Towards Understanding Sycophancy in Language Models. arXiv:2310.13548
Pith/arXiv arXiv 2023
-
[12]
Zheng, L., et al. (2023). Judging LLM-as-a-Judge with MT-Bench and Chatbot Arena. NeurIPS. arXiv:2306.05685
Pith/arXiv arXiv 2023
-
[13]
Zhang, H., et al. (2024). R-Tuning: Instructing Large Language Models to Say ‘I Don’t Know’. NAACL. arXiv:2311.09677
Pith/arXiv arXiv 2024
-
[14]
Rana Muhammad Usman. (2026). Adversarial Feeds Steer LLM Agent Decisions Against Their Defaults. arXiv:2606.00914. A Wilson 95% Confidence Intervals, E3 Cells model freetext json esc json req qwen3.5 0.8B 98 [87, 100] 100 [91, 100] 100 [91, 100] qwen3.5 2B 100 [91, 100] 100 [91, 100] 100 [91, 100] llama3.2 3B 100 [91, 100] 100 [91, 100] 100 [91, 100] gemm...
Pith/arXiv arXiv 2026
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.