Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales
Search
Open menu
Home
Papers
2309.11196
Cited By
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
Re-assign community
ArXiv (abs)
PDF
HTML
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
Jordan Peper
Yan Miao
Sayan Mitra
Ivan Ruchkin
117
2
0
19 Aug 2025
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
Marco Tulio Ribeiro
Sameer Singh
Carlos Guestrin
FAtt
FaML
1.9K
19,183
0
16 Feb 2016
1