Multi-modal Program Inference: a Marriage of Pre-trainedLanguage Models
and Component-based Synthesis

Multi-modal Program Inference: a Marriage of Pre-trainedLanguage Models and Component-based Synthesis

3 September 2021

Arjun Radhakrishna

Papers citing "Multi-modal Program Inference: a Marriage of Pre-trainedLanguage Models and Component-based Synthesis"

14 / 14 papers shown

Title
Hallucination by Code Generation LLMs: Taxonomy, Benchmarks, Mitigation, and Challenges Yunseo Lee John Youngeun Song Dongsun Kim Jindae Kim Mijung Kim Jaechang Nam HILM LRM 47 0 0 29 Apr 2025
Integrating Explanations in Learning LTL Specifications from Demonstrations Ashutosh Gupta John Komp Abhay Singh Rajput Shankaranarayanan Krishna Ashutosh Trivedi Namrita Varshney 16 0 0 03 Apr 2024
LILO: Learning Interpretable Libraries by Compressing and Documenting Code Gabriel Grand L. Wong Matthew Bowers Theo X. Olausson Muxin Liu Joshua B. Tenenbaum Jacob Andreas 21 21 0 30 Oct 2023
FormaT5: Abstention and Examples for Conditional Table Formatting with Natural Language Mukul Singh J. Cambronero Sumit Gulwani Vu Le Carina Negreanu Elnaz Nouri Mohammad Raza Gust Verbruggen LMTD 15 9 0 26 Oct 2023
Toward Reproducing Network Research Results Using Large Language Models Qiao Xiang Yuling Lin Mingjun Fang Bang Huang Siyong Huang Ridi Wen Franck Le Lingyu Kong Jiwu Shu 34 3 0 09 Sep 2023
DataVinci: Learning Syntactic and Semantic String Repairs Mukul Singh J. Cambronero Sumit Gulwani Vu Le Carina Negreanu Gust Verbruggen NAI 27 3 0 21 Aug 2023
SatLM: Satisfiability-Aided Language Models Using Declarative Prompting Xi Ye Qiaochu Chen Işıl Dillig Greg Durrett ReLM ReCod LRM 40 63 0 16 May 2023
Programming-by-Demonstration for Long-Horizon Robot Tasks Noah T Patton Kia Rahmani Meghana Missula Joydeep Biswas Icsil Dillig 30 10 0 04 May 2023
FLAME: A small language model for spreadsheet formulas Harshit Joshi Abishai Ebenezer J. Cambronero Sumit Gulwani Aditya Kanade Vu Le Ivan Radivcek Gust Verbruggen LMTD 42 12 0 31 Jan 2023
ObSynth: An Interactive Synthesis System for Generating Object Models from Natural Language Specifications Alex Gu Tamara Mitrovska D. Vélez Jacob Andreas Armando Solar-Lezama SyDa 33 1 0 20 Oct 2022
Repairing Bugs in Python Assignments Using Large Language Models Jialu Zhang J. Cambronero Sumit Gulwani Vu Le R. Piskac Gustavo Soares Gust Verbruggen KELM 30 53 0 29 Sep 2022
Interactive Code Generation via Test-Driven User-Intent Formalization Shuvendu K. Lahiri Sarah Fakhoury Aaditya Naik Georgios Sakkas Saikat Chakraborty ... Piali Choudhury Curtis von Veh J. Inala Chenglong Wang Jianfeng Gao 24 63 0 11 Aug 2022
Neurosymbolic Repair for Low-Code Formula Languages Rohan Bavishi Harshit Joshi José Pablo Cambronero Sánchez Anna Fariha Sumit Gulwani Vu Le Ivan Radicek A. Tiwari 16 13 0 24 Jul 2022
Measuring Coding Challenge Competence With APPS Dan Hendrycks Steven Basart Saurav Kadavath Mantas Mazeika Akul Arora ... Collin Burns Samir Puranik Horace He D. Song Jacob Steinhardt ELM AIMat ALM 208 631 0 20 May 2021