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.
Federico Pennino, Bianca Raimondi, Massimo Rondelli et al.
· 0 citations