research
∙
06/16/2023
Demystifying GPT Self-Repair for Code Generation
Large Language Models (LLMs) have shown remarkable aptitude in code gene...
share
research
∙
11/25/2022
CodeExp: Explanatory Code Document Generation
Developing models that can automatically generate detailed code explanat...
research
∙
11/17/2022
Execution-based Evaluation for Data Science Code Generation Models
Code generation models can benefit data scientists' productivity by auto...
research
∙
08/11/2022
Interactive Code Generation via Test-Driven User-Intent Formalization
Pre-trained large language models (LLMs) such as OpenAI Codex have shown...
research
∙
06/04/2022
Fault-Aware Neural Code Rankers
Large language models (LLMs) have demonstrated an impressive ability to ...
research
∙
05/28/2022
Learning from Self-Sampled Correct and Partially-Correct Programs
Program synthesis aims to generate executable programs that are consiste...
research
∙
10/11/2021
Safe Human-Interactive Control via Shielding
Ensuring safety for human-interactive robotics is important due to the p...
research
∙
02/22/2021
Program Synthesis Guided Reinforcement Learning
A key challenge for reinforcement learning is solving long-horizon plann...
research
∙
01/05/2021
Neurosymbolic Transformers for Multi-Agent Communication
We study the problem of inferring communication structures that can solv...
research
∙
11/30/2020
Diverse Sampling for Normalizing Flow Based Trajectory Forecasting
For autonomous cars to drive safely and effectively, they must anticipat...
research
∙
02/13/2018
REAS: Combining Numerical Optimization with SAT Solving
In this paper, we present ReaS, a technique that combines numerical opti...
research
∙
11/15/2017