HYSYNTH: Context-Free LLM Approximation for Guiding Program Synthesis - Barke, Shraddha; Anaya Gonzalez, Emmanuel; Kasibatla, Saketh Ram; Berg-Kirkpatrick, Taylor; Polikarpova, Nadia (Advances in Neural Information Processing Systems, 2024)