Reinforcement Learning and Data-Generation for Syntax-Guided Synthesis

13 July 2023

Papers citing "Reinforcement Learning and Data-Generation for Syntax-Guided Synthesis"

3 / 3 papers shown

Title
ObscuraCoder: Powering Efficient Code LM Pre-Training Via Obfuscation Grounding Indraneil Paul Haoyi Yang Goran Glavas Kristian Kersting Iryna Gurevych AAML SyDa 34 0 0 27 Mar 2025
Guiding Enumerative Program Synthesis with Large Language Models Yixuan Li Julian Parsert Elizabeth Polgreen ELM 33 5 0 06 Mar 2024
Learning to Find Proofs and Theorems by Learning to Refine Search Strategies: The Case of Loop Invariant Synthesis Jonathan Laurent André Platzer 19 9 0 27 May 2022