Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.




2733 Publications

2020 | Preprint | IST-REx-ID: 7463 | OA View | Download Preprint (ext.)
 
2020 | Conference Paper | IST-REx-ID: 7481 | OA
Functional vs. parametric equivalence of ReLU networks
P. Bui Thi Mai, C. Lampert, in:, n.d.
View | Files available
 
2020 | Journal Article | IST-REx-ID: 7500 | OA View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 
2020 | Conference Paper | IST-REx-ID: 7505
Outside the box: Abstraction-based monitoring of neural networks
T.A. Henzinger, A. Lukina, C. Schilling, in:, 24th European Conference on Artificial Intelligence, n.d.
View | arXiv
 
2020 | Journal Article | IST-REx-ID: 7509 | OA View | DOI | Download Preprint (ext.) | arXiv
 

Search

Filter Publications