ResearchTrend.AI
  • Papers
  • Communities
  • Events
  • Blog
  • Pricing
Papers
Communities
Social Events
Terms and Conditions
Pricing
Parameter LabParameter LabTwitterGitHubLinkedInBlueskyYoutube

© 2025 ResearchTrend.AI, All rights reserved.

  1. Home
  2. Papers
  3. 2008.01204
  4. Cited By
Incorrect by Construction: Fine Tuning Neural Networks for Guaranteed
  Performance on Finite Sets of Examples

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
ArXivPDFHTML

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
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
Safety Verification of Deep Neural Networks
Xiaowei Huang
Marta Kwiatkowska
Sen Wang
Min Wu
AAML
180
932
0
21 Oct 2016
1