Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
1908.08026
Cited By
Refactoring Neural Networks for Verification
6 August 2019
David Shriver
Dong Xu
Sebastian G. Elbaum
Matthew B. Dwyer
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Refactoring Neural Networks for Verification"
2 / 2 papers shown
Title
Deep Learning & Software Engineering: State of Research and Future Directions
P. Devanbu
Matthew B. Dwyer
Sebastian G. Elbaum
M. Lowry
Kevin Moran
Denys Poshyvanyk
Baishakhi Ray
Rishabh Singh
Xiangyu Zhang
62
22
0
17 Sep 2020
Abstract Neural Networks
Matthew Sotoudeh
Aditya V. Thakur
44
20
0
11 Sep 2020
1
