The Octatope Abstract Domain for Verification of Neural Networks
Stanley Bak, Taylor Dohmen, K. Subramani, Ashutosh Trivedi, Alvaro Velasquez, Piotr Wojciechowski
2023年份
5被引次数
1顶会引用
问问这篇 Paper
问问你的智能体。
Lune 读过与它相关的顶会 Paper，每个回答都会注明依据哪几篇。
引用它的顶会 Paper1
问问它们各自怎么用它相关 Paper
- Zonotope Domains for Lagrangian Neural Network VerificationMatt Jordan, Jonathan Hayase, Alex Dimakis, Sewoong OhNeurIPS 2022 · 被引用 6 次
- Abstract Interpretation of Fixpoint Iterators with Applications to Neural NetworksMark Niklas Müller, Marc Fischer, Robin Staab, Martin T. VechevPLDI 2023 · 被引用 5 次
- Formally Verified Safety Net for Waypoint Navigation Neural Network ControllersAlexei Kopylov, Stefan Mitsch, Aleksey Nogin, Michael A. WarrenFM 2021 · 被引用 4 次
- Out of the Shadows: Exploring a Latent Space for Neural Network VerificationLukas Koller, Tobias Ladner, Matthias AlthoffICLR 2026 · 被引用 6 次
- An Abstraction-Based Framework for Neural Network VerificationYizhak Yisrael Elboher, Justin Gottschlich, Guy KatzCAV 2020 · 被引用 97 次
