Marabou 2.0：一款多功能的神经网络形式化分析器
人工智能
2024-05-21 v2 机器学习
计算机科学中的逻辑
摘要
本文作为 Marabou 框架 2.0 版本的综合系统描述，该框架用于神经网络的形式化分析。我们讨论了该工具的架构设计，并重点介绍了自其首次发布以来引入的主要功能和组件。
引用
@article{arxiv.2401.14461,
title = {Marabou 2.0: A Versatile Formal Analyzer of Neural Networks},
author = {Haoze Wu and Omri Isac and Aleksandar Zeljić and Teruhiro Tagomori and Matthew Daggitt and Wen Kokke and Idan Refaeli and Guy Amir and Kyle Julian and Shahaf Bassan and Pei Huang and Ori Lahav and Min Wu and Min Zhang and Ekaterina Komendantskaya and Guy Katz and Clark Barrett},
journal= {arXiv preprint arXiv:2401.14461},
year = {2024}
}
备注
Condensed version accepted at CAV'24