ResearchTrend.AI
  • Communities
  • Connect sessions
  • AI calendar
  • Organizations
  • Join Slack
  • Contact Sales
Papers
Communities
Social Events
Terms and Conditions
Pricing
Contact Sales
Parameter LabParameter LabTwitterGitHubLinkedInBlueskyYoutube

© 2025 ResearchTrend.AI, All rights reserved.

  1. Home
  2. Papers
  3. 2309.11196
  4. Cited By
When to Trust AI: Advances and Challenges for Certification of Neural
  Networks

When to Trust AI: Advances and Challenges for Certification of Neural Networks

Conference on Computer Science and Information Systems (FedCSIS), 2023
20 September 2023
Marta Kwiatkowska
Xiyue Zhang
    AAML
ArXiv (abs)PDFHTML

Papers citing "When to Trust AI: Advances and Challenges for Certification of Neural Networks"

3 / 3 papers shown
Title
Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy
Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy
Jordan Peper
Yan Miao
Sayan Mitra
Ivan Ruchkin
117
2
0
19 Aug 2025
Formal Verification and Control with Conformal Prediction
Formal Verification and Control with Conformal Prediction
Lars Lindemann
Yiqi Zhao
Xinyi Yu
George J. Pappas
Jyotirmoy Deshmukh
1.1K
33
0
31 Aug 2024
"Why Should I Trust You?": Explaining the Predictions of Any Classifier
"Why Should I Trust You?": Explaining the Predictions of Any Classifier
Marco Tulio Ribeiro
Sameer Singh
Carlos Guestrin
FAttFaML
1.9K
19,183
0
16 Feb 2016
1