C.10.1 Unconstrained (Claude-3.5-Sonnet) with or without Reflection Example C.3 (Incorrect expression type)

In case of parsing error, we will use red to indicate the part that the sLua context-sensitive parser failed to parse, provide the regex returned from the next regex function that the next part needs to match against · 2025

1 Pith paper cite this work. Polarity classification is still indexing.

1 Pith paper citing it

browse 1 citing papers

representative citing papers

Correctness-Guaranteed Code Generation via Constrained Decoding

cs.PL · 2025-08-20 · conditional · novelty 6.0

A constrained decoding algorithm using a context-sensitive tree of parsers guarantees generated programs in the sLua language are semantically correct and, for the game API, run without errors.

citing papers explorer

Showing 1 of 1 citing paper.

Correctness-Guaranteed Code Generation via Constrained Decoding cs.PL · 2025-08-20 · conditional · none · ref 15
A constrained decoding algorithm using a context-sensitive tree of parsers guarantees generated programs in the sLua language are semantically correct and, for the game API, run without errors.

C.10.1 Unconstrained (Claude-3.5-Sonnet) with or without Reflection Example C.3 (Incorrect expression type)

fields

years

verdicts

representative citing papers

citing papers explorer