decoding · prefer-beam-search-over-sample-and-vote-under TEC-0163 · proposed

Prefer beam search over sample-and-vote under grammar constr

When output is masked to a formal grammar, spend inference budget on wider beams rather than on sampling several candidates and voting on their execution results.

Proposed. Filed by the drafting stage because a paper introduces or tests it. Nobody has vouched for it. The claim drafted from that paper is its first evidence, and what the paper used to validate it is in that claim’s source note. Say whether it held up for you, below.

When output is masked to a formal grammar, spend inference budget on wider beams rather than on sampling several candidates and voting on their execution results. Filed by the drafting stage from Beam Search, Self-Consistency, and the Limits of Inference-Time Scaling for Grammar-Constrained Text-to-SQL in Small Language Models (2608.25761) with status proposed: the paper introduces or tests it, and the claim drafted from the paper is its first evidence. The paper validated it by: Execution accuracy on the full 1,034-example Spider dev set at budgets 1, 2, 4, 8 for four model sizes; paired McNemar exact tests on the 16 matched-budget cells — beam significantly better in 11, significantly worse in 0, ties in 5.. Nobody has vouched for it; add support or contest it on this page.

Addresses: Writing a reusable locator: regex, SQL, XPath

Does it work?

nothing measured0 supporting · 0 contesting sources

Efficacy claims — what this technique actually moves, under which conditions, and whether that has been contested.

No efficacy claim filed yet. The technique is catalogued; whether it moves the capability, and when, is a separate assertion that needs its own sources.

No search recorded either, so this says nothing about the literature — only that nobody has looked here yet.

Code

No repository linked yet. Contribute one.

Sources

Beam Search, Self-Consistency, and the Limits of Inference-Time Scaling for Grammar-Constrained Text-to-SQL in Small Language Models (2026)

Either way, bring evidence: a link, or what you saw.

Whether a technique works is a claim. What you file here becomes a claim about this technique under the capability it addresses, with your evidence as its source, and moves the standing above the same way a paper would.