Bieber, David

11 publications

ICML 2023 Can Large Language Models Reason About Program Invariants? Kexin Pei, David Bieber, Kensen Shi, Charles Sutton, Pengcheng Yin

ICLR 2023 Static Prediction of Runtime Errors by Learning to Execute Programs with External Resource Descriptions David Bieber, Rishab Goel, Dan Zheng, Hugo Larochelle, Daniel Tarlow

ICLRW 2022 Show Your Work: Scratchpads for Intermediate Computation with Language Models Maxwell Nye, Anders Johan Andreassen, Guy Gur-Ari, Henryk Michalewski, Jacob Austin, David Bieber, David Dohan, Aitor Lewkowycz, Maarten Bosma, David Luan, Charles Sutton, Augustus Odena

ICLRW 2022 Static Prediction of Runtime Errors by Learning to Execute Programs with External Resource Descriptions David Bieber, Rishab Goel, Dan Zheng, Hugo Larochelle, Daniel Tarlow

ICLR 2021 BUSTLE: Bottom-up Program Synthesis Through Learning-Guided Exploration Augustus Odena, Kensen Shi, David Bieber, Rishabh Singh, Charles Sutton, Hanjun Dai

NeurIPS 2021 Learning Semantic Representations to Verify Hardware Designs Shobha Vasudevan, Wenjie Jiang, David Bieber, Rishabh Singh, Hamid Shojaei, C. Richard Ho, Charles A. Sutton

ICLR 2020 Global Relational Models of Source Code Vincent J. Hellendoorn, Charles Sutton, Rishabh Singh, Petros Maniatis, David Bieber

ICML 2020 Incremental Sampling Without Replacement for Sequence Models Kensen Shi, David Bieber, Charles Sutton

NeurIPS 2020 Learning to Execute Programs with Instruction Pointer Attention Graph Neural Networks David Bieber, Charles A. Sutton, Hugo Larochelle, Daniel Tarlow

NeurIPSW 2020 TF-Coder: Program Synthesis for Tensor Manipulations Kensen Shi, David Bieber, Rishabh Singh

ICLR 2019 Neural Program Repair by Jointly Learning to Localize and Repair Marko Vasic, Aditya Kanade, Petros Maniatis, David Bieber, Rishabh Singh