Learning Shape Analysis

By Marc Brockschmidt, Yuxin Chen, Pushmeet Kohli, Siddharth Krishna, Daniel Tarlow. 2017

18 citations recorded by the source corpus.

Subfields: Artificial Intelligence, Computational Theory and Mathematics, Computer Vision and Pattern Recognition, Information Systems, 3D Vision & Pose

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Artificial Intelligence

1. Miltiadis Allamanis
2. Charles Sutton
3. Earl T. Barr
4. Premkumar T. Devanbu
5. Eran Yahav
6. Uri Alon
7. Rishabh Singh
8. Rafael-Michael Karampatsis

In Computational Theory and Mathematics

1. Earl T. Barr
2. Miltiadis Allamanis
3. Charles Sutton

In Computer Vision and Pattern Recognition

1. Premkumar T. Devanbu
2. Earl T. Barr
3. Miltiadis Allamanis
4. Charles Sutton

In Information Systems

1. Charles Sutton
2. Miltiadis Allamanis
3. Earl T. Barr
4. Premkumar T. Devanbu
5. Michael Pradel
6. Rishabh Singh
7. Rafael-Michael Karampatsis
8. Eran Yahav

Citations in the corpus

• A Survey of Machine Learning for Big Code and Naturalness (2017, background): “true positives. The second paradigm that has been explored is to use machine learningtocreatemodelsthatproduceplausible hypothesesofformalverification statementsthat can be proved. Brockschmidt et al. [31] and Li et al. [115] propose a set of models that generate separation logic expressions from the”