NeurIPS 2020 Workshop CAP Submissions

Causal Inductive Synthesis Corpus
Zenna Tavares, Ria Das, Elizabeth Weeks, Kate Lin, Joshua B. Tenenbaum, Armando Solar-Lezama
- Published: 02 Nov 2020, Last Modified: 05 May 2023
- NeurIPS 2020 CAP Workshop
- Readers: Everyone
TF-Coder: Program Synthesis for Tensor Manipulations
Kensen Shi, David Bieber, Rishabh Singh
- Published: 03 Nov 2020, Last Modified: 21 Apr 2024
- NeurIPS 2020 CAP Workshop
- Readers: Everyone
Measuring few-shot extrapolation with program induction
Ferran Alet, Javier Lopez-Contreras, Joshua B. Tenenbaum, Tomas Perez, Leslie Pack Kaelbling
- Published: 02 Nov 2020, Last Modified: 05 May 2023
- NeurIPS 2020 CAP Workshop
- Readers: Everyone
Leveraging Class Hierarchy for Code Comprehension
Jiyang Zhang, Sheena Panthaplackel, Pengyu Nie, Junyi Jessy Li, Ray Mooney, Milos Gligoric
- Published: 02 Nov 2020, Last Modified: 14 Dec 2023
- NeurIPS 2020 CAP Workshop
- Readers: Everyone
Quality Estimation & Interpretability for Code Translation
Mayank Agarwal, Kartik Talamadupula, Stephanie Houde, Fernando Martinez, Michael Muller, John Richards, Steven Ross, Justin Weisz
- Published: 02 Nov 2020, Last Modified: 05 May 2023
- NeurIPS 2020 CAP Workshop
- Readers: Everyone
SCoRe: Pre-Training for Context Representation in Conversational Semantic Parsing
Tao Yu, Rui Zhang, Alex Polozov, Christopher Meek, Ahmed Hassan Awadallah
- Published: 02 Nov 2020, Last Modified: 05 May 2023
- NeurIPS 2020 CAP Workshop
- Readers: Everyone
Representing Partial Programs with Blended Abstract Semantics
Maxwell Nye, Yewen Pu, Matthew Bowers, Jacob Andreas, Joshua B. Tenenbaum, Armando Solar-Lezama
- Published: 02 Nov 2020, Last Modified: 05 May 2023
- NeurIPS 2020 CAP Workshop
- Readers: Everyone
Learning to Infer Run-Time Invariants from Source code
Vincent Josua Hellendoorn, Premkumar Devanbu, Alex Polozov, mark marron
- Published: 02 Nov 2020, Last Modified: 05 May 2023
- NeurIPS 2020 CAP Workshop
- Readers: Everyone
Oasis: ILP-Guided Synthesis of Loop Invariants
Sahil Bhatia, Saswat Padhi, Nagarajan Natarajan, Rahul Sharma, Prateek Jain
- Published: 02 Nov 2020, Last Modified: 05 May 2023
- NeurIPS 2020 CAP Workshop
- Readers: Everyone
Type-driven Neural Programming by Example
Kiara Grouwstra, Emile van Krieken
- Published: 02 Nov 2020, Last Modified: 21 Apr 2024
- NeurIPS 2020 CAP Workshop
- Readers: Everyone
IReEn: Reverse-Engineering of Black-Box Functions via Iterative Neural Program Synthesis
Hossein Hajipour, Mateusz Malinowski, Mario Fritz
- Published: 02 Nov 2020, Last Modified: 05 May 2023
- NeurIPS 2020 CAP Workshop
- Readers: Everyone
SampleFix: Learning to Correct Programs by Efficient Sampling of Diverse Fixes
Hossein Hajipour, Apratim Bhattacharyya, Mario Fritz
- Published: 03 Nov 2020, Last Modified: 05 May 2023
- NeurIPS 2020 CAP Workshop
- Readers: Everyone
Software Language Comprehension using a Program-Derived Semantics Graph
Roshni Iyer, Yizhou Sun, Wei Wang, Justin Gottschlich
- Published: 02 Nov 2020, Last Modified: 05 May 2023
- NeurIPS 2020 CAP Workshop
- Readers: Everyone
On-the-Fly Adaptation of Source Code Models
Disha Shrivastava, Hugo Larochelle, Daniel Tarlow
- Published: 03 Nov 2020, Last Modified: 05 May 2023
- NeurIPS 2020 CAP Workshop
- Readers: Everyone
Automated Generation of Executable Cross-Language Background Knowledge
Anonymous
- 13 Oct 2020 (modified: 05 May 2023)
- NeurIPS 2020 Workshop CAP Blind Submission
- Readers: Everyone