Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales
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"
3 / 3 papers shown
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
146
23
0
17 Sep 2020
Abstract Neural Networks
Sensors Applications Symposium (SA), 2020
Matthew Sotoudeh
Aditya V. Thakur
146
20
0
11 Sep 2020
Formal Methods with a Touch of Magic
Formal Methods in Computer-Aided Design (FMCAD), 2020
P. A. Alamdari
Guy Avni
T. Henzinger
Anna Lukina
OffRL
243
17
0
25 May 2020
1
Page 1 of 1
