Learning to Decipher the Heap for Program Verification
By Marc Brockschmidt, Yuxin Chen, Byron Cook, Pushmeet Kohli, Daniel Tarlow. 2016
5 citations recorded by the source corpus.
Subfields: Natural Language Processing
How researchers see this paper
The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.
In Natural Language Processing
- Marc Brockschmidt
- Daniel Tarlow
- Richard S. Zemel
- Yujia Li
- Yoshua Bengio
- Miltiadis Allamanis
- Charles Sutton
- Omer Levy
Citations in the corpus
- Gated Graph Sequence Neural Networks (2015, methodology): “We compared our GGS-NN-based model with a method we developed earlier (Brockschmidt et al., 2015).”
- Deep Learning on Graphs: A Survey (2018, unknown): “Second, the authors proposed using several such networks operating in sequence to produce sequence outputs and showed that their method could be applied to sequence-based tasks such as program verification [38].”