TF-Coder: Program Synthesis for Tensor Manipulations

19 March 2020

Papers citing "TF-Coder: Program Synthesis for Tensor Manipulations"

23 / 23 papers shown

Title
Cardiverse: Harnessing LLMs for Novel Card Game Prototyping Danrui Li Sen Zhang Sam S. Sohn Kaidong Hu Muhammad Usman Mubbasir Kapadia 40 0 0 10 Feb 2025
AbstractBeam: Enhancing Bottom-Up Program Synthesis using Library Learning Janis Zenkner Lukas Dierkes Tobias Sesterhenn Chrisitan Bartelt 37 1 0 27 May 2024
HYSYNTH: Context-Free LLM Approximation for Guiding Program Synthesis Shraddha Barke Emmanuel Anaya Gonzalez Saketh Ram Kasibatla Taylor Berg-Kirkpatrick Nadia Polikarpova 46 5 0 24 May 2024
Grounding Data Science Code Generation with Input-Output Specifications Yeming Wen Pengcheng Yin Kensen Shi Henryk Michalewski Swarat Chaudhuri A. Polozov SyDa 46 10 0 12 Feb 2024
Program Synthesis with Best-First Bottom-Up Search Saqib Ameen Levi H. S. Lelis 202 7 0 06 Oct 2023
mlirSynth: Automatic, Retargetable Program Raising in Multi-Level IR using Program Synthesis Alexander Brauckmann Elizabeth Polgreen Tobias Grosser Michael F. P. O'Boyle 10 2 0 06 Oct 2023
Fuzz4All: Universal Fuzzing with Large Language Models Chun Xia Matteo Paltenghi Jia Le Tian Michael Pradel Lingming Zhang ELM 18 104 0 09 Aug 2023
ExeDec: Execution Decomposition for Compositional Generalization in Neural Program Synthesis Kensen Shi Joey Hong Yinlin Deng Pengcheng Yin Manzil Zaheer Charles Sutton 28 18 0 26 Jul 2023
LambdaBeam: Neural Program Search with Higher-Order Functions and Lambdas Kensen Shi H. Dai Wen-Ding Li Kevin Ellis Charles Sutton 31 5 0 03 Jun 2023
WikiCoder: Learning to Write Knowledge-Powered Code Théo Matricon Nathanaël Fijalkow Gaetan Margueritte KELM 11 0 0 15 Mar 2023
NeuRI: Diversifying DNN Generation via Inductive Rule Inference Jiawei Liu Jinjun Peng Yuyao Wang Lingming Zhang AI4CE 31 14 0 04 Feb 2023
Natural Language to Code Generation in Interactive Data Science Notebooks Pengcheng Yin Wen-Ding Li Kefan Xiao Abhishek Rao Yeming Wen ... Paige Bailey Michele Catasta Henryk Michalewski Oleksandr Polozov Charles Sutton 33 59 0 19 Dec 2022
Non-Programmers Can Label Programs Indirectly via Active Examples: A Case Study with Text-to-SQL Ruiqi Zhong Charles Burton Snell Dan Klein Jason Eisner 24 8 0 25 May 2022
Compositional Generalization and Decomposition in Neural Program Synthesis Kensen Shi Joey Hong Manzil Zaheer Pengcheng Yin Charles Sutton 40 5 0 07 Apr 2022
Can NMT Understand Me? Towards Perturbation-based Evaluation of NMT Models for Code Generation Pietro Liguori Cristina Improta S. D. Vivo R. Natella B. Cukic Domenico Cotroneo AAML 41 4 0 29 Mar 2022
CrossBeam: Learning to Search in Bottom-Up Program Synthesis Kensen Shi H. Dai Kevin Ellis Charles Sutton NAI 8 24 0 20 Mar 2022
A Survey on Artificial Intelligence for Source Code: A Dialogue Systems Perspective Erfan Al-Hossami Samira Shaikh 32 6 0 10 Feb 2022
Scaling Neural Program Synthesis with Distribution-based Search Nathanaël Fijalkow Guillaume Lagarde Théo Matricon Kevin Ellis Pierre Ohlmann Akarsh Potta NAI 11 9 0 24 Oct 2021
Towards A Measure Of General Machine Intelligence Gautham Venkatasubramanian Sibesh Kar Abhimanyu Singh Shubham Mishra Dushyant Yadav Shreyansh Chandak ALM ELM 15 1 0 24 Sep 2021
Shellcode_IA32: A Dataset for Automatic Shellcode Generation Pietro Liguori Erfan Al-Hossami Domenico Cotroneo R. Natella B. Cukic Samira Shaikh 34 27 0 27 Apr 2021
Representing Partial Programs with Blended Abstract Semantics Maxwell Nye Yewen Pu Matthew Bowers Jacob Andreas J. Tenenbaum Armando Solar-Lezama NAI 17 23 0 23 Dec 2020
BUSTLE: Bottom-Up Program Synthesis Through Learning-Guided Exploration Augustus Odena Kensen Shi David Bieber Rishabh Singh Charles Sutton Hanjun Dai 32 56 0 28 Jul 2020
Neural Architecture Search with Reinforcement Learning Barret Zoph Quoc V. Le 274 5,330 0 05 Nov 2016