2 Publications

Mark all

[2]
2020 | Conference Paper | IST-REx-ID: 7808   OA
How many bits does it take to quantize your neural network?
M. Giacobbe, T.A. Henzinger, M. Lechner, in:, International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2020, pp. 79–97.
View | Files available | DOI
 
[1]
2019 | Conference Paper | IST-REx-ID: 6985   OA
Response characterization for auditing cell dynamics in long short-term memory networks
R. Hasani, A. Amini, M. Lechner, F. Naser, R. Grosu, D. Rus, in:, Proceedings of the International Joint Conference on Neural Networks, IEEE, 2019.
View | DOI | Download (ext.) | arXiv
 

Search

Filter Publications

Display / Sort

Export / Embed

2 Publications

Mark all

[2]
2020 | Conference Paper | IST-REx-ID: 7808   OA
How many bits does it take to quantize your neural network?
M. Giacobbe, T.A. Henzinger, M. Lechner, in:, International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2020, pp. 79–97.
View | Files available | DOI
 
[1]
2019 | Conference Paper | IST-REx-ID: 6985   OA
Response characterization for auditing cell dynamics in long short-term memory networks
R. Hasani, A. Amini, M. Lechner, F. Naser, R. Grosu, D. Rus, in:, Proceedings of the International Joint Conference on Neural Networks, IEEE, 2019.
View | DOI | Download (ext.) | arXiv
 

Search

Filter Publications

Display / Sort

Export / Embed