Author:
Desmartin Remi,Passmore Grant,Kommendentskaya Ekaterina
Publisher
Springer International Publishing
Reference22 articles.
1. VNN (2022). https://sites.google.com/view/vnn2022
2. Lecture Notes in Computer Science,2020
3. Bagnall, A., Stewart, G.: Certifying true error: machine learning in Coq with verified generalization guarantees. AAAI 33, 2662–2669 (2019)
4. Boyer, R.S., Moore, J.S.: A Computational Logic. ACM Monograph Series. Academic Press, New York (1979)
5. Casadio, M., et al.: Neural network robustness as a verification property: a principled case study. In: Computer Aided Verification (CAV 2022). Lecture Notes in Computer Science, Springer, Cham (2022) https://doi.org/10.1007/978-3-031-13185-1_11
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献