Author:
Wu Haoze,Isac Omri,Zeljić Aleksandar,Tagomori Teruhiro,Daggitt Matthew,Kokke Wen,Refaeli Idan,Amir Guy,Julian Kyle,Bassan Shahaf,Huang Pei,Lahav Ori,Wu Min,Zhang Min,Komendantskaya Ekaterina,Katz Guy,Barrett Clark
Abstract
AbstractThis paper serves as a comprehensive system description of version 2.0 of the Marabou framework for formal analysis of neural networks. We discuss the tool’s architectural design and highlight the major features and components introduced since its initial release.
Publisher
Springer Nature Switzerland
Reference70 articles.
1. Amir, G., et al.: Verifying Learning-Based Robotic Navigation Systems: Supplementary Video (2022). https://youtu.be/QIZqOgxLkAE
2. Amir, G., et al.: Verifying learning-based robotic navigation systems. In: Proceedings of the 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), pp. 607–627 (2023)
3. Amir, G., Schapira, M., Katz, G.: Towards scalable verification of deep reinforcement learning. In: Proceedings of the 21st International Conference on Formal Methods in Computer-Aided Design (FMCAD), pp. 193–203 (2021)
4. Bak, S., Tran, H.D., Hobbs, K., Johnson, T.T.: Improved geometric path enumeration for verifying ReLU neural networks. In: International Conference on Computer Aided Verification, pp. 66–96. Springer (2020)
5. Balunovic, M., Baader, M., Singh, G., Gehr, T., Vechev, M.: Certifying geometric robustness of neural networks. Adv. Neural Inf. Process. Syst. 32 (2019)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献