Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2008.01204
Cited By
Incorrect by Construction: Fine Tuning Neural Networks for Guaranteed Performance on Finite Sets of Examples
3 August 2020
I. Papusha
Rosa Wu
Joshua Brulé
Yanni Kouskoulas
D. Genin
Aurora C. Schmidt
Re-assign community
ArXiv
PDF
HTML
Papers citing
"Incorrect by Construction: Fine Tuning Neural Networks for Guaranteed Performance on Finite Sets of Examples"
2 / 2 papers shown
Title
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks
Guy Katz
Clark W. Barrett
D. Dill
Kyle D. Julian
Mykel Kochenderfer
AAML
249
1,838
0
03 Feb 2017
Safety Verification of Deep Neural Networks
Xiaowei Huang
Marta Kwiatkowska
Sen Wang
Min Wu
AAML
180
932
0
21 Oct 2016
1