Publications (16)
TerpreT: A Probabilistic Programming Language for Program Induction
Alexander L. Gaunt, Marc Brockschmidt, Rishabh Singh +4
DeepCoder: Learning to Write Programs
Matej Balog, Alexander L. Gaunt, Marc Brockschmidt +2
Gated Graph Sequence Neural Networks
Yujia Li, Daniel Tarlow, Marc Brockschmidt +1
Robust Text-to-SQL Generation with Execution-Guided Decoding
Chenglong Wang, Kedar Tatwawadi, Marc Brockschmidt +4
Differentiable Functional Program Interpreters
John K. Feser, Marc Brockschmidt, Alexander L. Gaunt +1
Summary - TerpreT: A Probabilistic Programming Language for Program Induction
Alexander L. Gaunt, Marc Brockschmidt, Rishabh Singh +4
Compositional Safety Verification with Max-SMT
Marc Brockschmidt, Daniel Larraz, Albert Oliveras +2
CTL+FO Verification as Constraint Solving
Tewodros A. Beyene, Marc Brockschmidt, Andrey Rybalchenko
T2: Temporal Property Verification
Marc Brockschmidt, Byron Cook, Samin Ishtiaq +2
Graph Partition Neural Networks for Semi-Supervised Classification
Renjie Liao, Marc Brockschmidt, Daniel Tarlow +3
SmartPaste: Learning to Adapt Source Code
Miltiadis Allamanis, Marc Brockschmidt
Learning to Represent Edits
Pengcheng Yin, Graham Neubig, Miltiadis Allamanis +2
Generative Code Modeling with Graphs
Marc Brockschmidt, Miltiadis Allamanis, Alexander L. Gaunt +1
Learning to Represent Programs with Graphs
Miltiadis Allamanis, Marc Brockschmidt, Mahmoud Khademi
Differentiable Programs with Neural Libraries
Alexander L. Gaunt, Marc Brockschmidt, Nate Kushman +1
Constrained Graph Variational Autoencoders for Molecule Design
Qi Liu, Miltiadis Allamanis, Marc Brockschmidt +1