The Interpreter as Teacher: GRPO with Execution Feedback for Prolog Code Generation ⋆
The results indicate that, for formal languages with a deterministic semantics, the interpreter itself is sufficient to act as the primary training supervisor.
We have 2 of 8 papers
We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.
Not the right person? Other researchers publish under this name.
The results indicate that, for formal languages with a deterministic semantics, the interpreter itself is sufficient to act as the primary training supervisor.
The D-Score is introduced, a simple spectral statistic computed from a single forward pass that is used as a hallucination score, classifying an input text as hallucinated when its D-Score is larger than a pre-defined quantity.
We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.