Fugu-MT 論文翻訳(概要): Marabou 2.0: A Versatile Formal Analyzer of Neural Networks

論文の概要: Marabou 2.0: A Versatile Formal Analyzer of Neural Networks

arxiv url: http://arxiv.org/abs/2401.14461v1
Date: Thu, 25 Jan 2024 19:00:25 GMT
ステータス: 処理完了
システム内更新日: 2024-01-29 16:46:43.268253
Title: Marabou 2.0: A Versatile Formal Analyzer of Neural Networks
Title（参考訳）: Marabou 2.0: ニューラルネットワークのVersatile形式分析ツール
Authors: Haoze Wu, Omri Isac, Aleksandar Zelji\'c, Teruhiro Tagomori, Matthew Daggitt, Wen Kokke, Idan Refaeli, Guy Amir, Kyle Julian, Shahaf Bassan, Pei Huang, Ori Lahav, Min Wu, Min Zhang, Ekaterina Komendantskaya, Guy Katz, and Clark Barrett
Abstract要約: ツールのアーキテクチャ設計について議論し、最初のリリース以降に導入された主要な機能とコンポーネントを強調します。本稿では,ニューラルネットワークの形式解析のためのMarabouフレームワークのバージョン2.0の包括的システム記述として機能する。
参考スコア（独自算出の注目度）: 41.44653873319353
License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
Abstract: This 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.
Abstract（参考訳）: 本稿では,ニューラルネットワークの形式解析のためのMarabouフレームワークのバージョン2.0の包括的システム記述として機能する。ツールのアーキテクチャ設計について議論し、最初のリリース以降に導入された主要な機能とコンポーネントを強調します。

関連論文リスト

Neural Markov Prolog [57.13568543360899]
本稿では,一階述語論理とニューラルネットワーク設計を橋渡しする手段として,言語Neural Markov Prolog (NMP)を提案する。 NMPは、画像、テキスト、リレーショナルデータベース、その他のターゲットデータ型のアーキテクチャを簡単に生成および提示することができる。
論文参考訳（メタデータ） (2023-11-27T21:41:47Z)
Lecture Notes: Neural Network Architectures [0.0]
これらの講義ノートは、数学的観点からニューラルネットワークアーキテクチャの概要を提供する。以下は、Feedforward Neural Network、Convolutional Neural Network、ResNet、Recurrent Neural Networkである。
論文参考訳（メタデータ） (2023-04-11T10:54:36Z)
Hysteretic Behavior Simulation Based on Pyramid Neural Network:Principle, Network Architecture, Case Study and Explanation [0.0]
ニューラルネットワークに基づく代理モデルでは、効率と精度のバランスをとる大きな可能性を示している。単一レベルの特徴に基づく連続的な情報フローと予測は、ネットワーク性能に悪影響を及ぼす。ここでは重み付けされたピラミッドニューラルネットワークアーキテクチャを提案する。
論文参考訳（メタデータ） (2022-04-29T16:42:00Z)
Sionna: An Open-Source Library for Next-Generation Physical Layer Research [64.77840557164266]
Sionnaは、レイカーネルに基づいたリンクレベルシミュレーションのためのGPUアクセラレーションされたオープンソースライブラリである。 Sionnaは、ベンチマークやエンドツーエンドのパフォーマンス評価に使用できる、注意深くテストされた最先端のアルゴリズムを幅広く実装している。
論文参考訳（メタデータ） (2022-03-22T16:31:44Z)
Ontology-based n-ball Concept Embeddings Informing Few-shot Image Classification [5.247029505708008]
ViOCEは、ニューラルネットワークベースの視覚アーキテクチャに、$n$-ballの概念を組み込む形で、象徴的な知識を統合する。本稿では,2つの標準ベンチマークにおいて,画像分類のタスクを用いてViOCEを評価し,優れた性能を示す。
論文参考訳（メタデータ） (2021-09-19T05:35:43Z)
NeVer 2.0: Learning, Verification and Repair of Deep Neural Networks [12.112394899530834]
NeVer 2.0はディープニューラルネットワークの自動合成と解析のための新しいシステムである。 NeVer 2.0は、ニューラルネットワークの学習、自動検証、修復を単一のツールに統合する最初のパッケージであるNeVerから設計思想を借用している。
論文参考訳（メタデータ） (2020-11-18T14:37:33Z)
Co-evolution of Functional Brain Network at Multiple Scales during Early Infancy [52.4179778122852]
乳児の2歳から2歳までの縦断的安静時機能的磁気共鳴画像データセットを応用した。収集した縦断的幼児データセットに提案手法の枠組みを適用して,脳機能ネットワークが異なるスケールで共進化していることを示す最初の証拠を提示した。
論文参考訳（メタデータ） (2020-09-15T07:21:04Z)
BiO-Net: Learning Recurrent Bi-directional Connections for Encoder-Decoder Architecture [82.64881585566825]
本稿では,新たな双方向O字型ネットワーク(BiO-Net)を提案する。提案手法は,バニラU-Netおよび他の最先端手法よりも優れる。
論文参考訳（メタデータ） (2020-07-01T05:07:49Z)
Obtaining Faithful Interpretations from Compositional Neural Networks [72.41100663462191]
NLVR2およびDROPデータセット上でNMNの中間出力を評価する。中間出力は期待出力と異なり,ネットワーク構造がモデル動作の忠実な説明を提供していないことを示す。
論文参考訳（メタデータ） (2020-05-02T06:50:35Z)

関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。