Get our free extension to see links to code for papers anywhere online!

 Add to Chrome

 Add to Firefox

CatalyzeX Code Finder - Browser extension linking code for ML papers across the web! | Product Hunt Embed
Probabilistic Conditional System Invariant Generation with Bayesian Inference

Dec 11, 2020
Meriel Stein, Sebastian Elbaum, Lu Feng, Shili Sheng


  Access Paper or Ask Questions

Deep Learning & Software Engineering: State of Research and Future Directions

Sep 17, 2020
Prem Devanbu, Matthew Dwyer, Sebastian Elbaum, Michael Lowry, Kevin Moran, Denys Poshyvanyk, Baishakhi Ray, Rishabh Singh, Xiangyu Zhang

* Community Report from the 2019 NSF Workshop on Deep Learning & Software Engineering, 37 pages 

  Access Paper or Ask Questions

Refactoring Neural Networks for Verification

Aug 06, 2019
David Shriver, Dong Xu, Sebastian Elbaum, Matthew B. Dwyer


  Access Paper or Ask Questions