4 Publications

Mark all

[4]
2020 | Conference Paper | IST-REx-ID: 7808 | OA
M. Giacobbe, T. A. Henzinger, and M. Lechner, “How many bits does it take to quantize your neural network?,” in International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Dublin, Ireland, 2020, vol. 12079, pp. 79–97.
View | Files available | DOI
 
[3]
2020 | Conference Paper | IST-REx-ID: 8194 | OA
M. Baranowski, S. He, M. Lechner, T. S. Nguyen, and Z. Rakamarić, “An SMT theory of fixed-point arithmetic,” in Automated Reasoning, Paris, France, 2020, vol. 12166, pp. 13–31.
View | DOI | Download Published Version (ext.)
 
[2]
2020 | Journal Article | IST-REx-ID: 8679
M. Lechner, R. Hasani, A. Amini, T. A. Henzinger, D. Rus, and R. Grosu, “Neural circuit policies enabling auditable autonomy,” Nature Machine Intelligence, vol. 2, pp. 642–652, 2020.
View | Files available | DOI
 
[1]
2019 | Conference Paper | IST-REx-ID: 6985 | OA
R. Hasani, A. Amini, M. Lechner, F. Naser, R. Grosu, and D. Rus, “Response characterization for auditing cell dynamics in long short-term memory networks,” in Proceedings of the International Joint Conference on Neural Networks, Budapest, Hungary, 2019.
View | DOI | Download Preprint (ext.) | arXiv
 

Search

Filter Publications

4 Publications

Mark all

[4]
2020 | Conference Paper | IST-REx-ID: 7808 | OA
M. Giacobbe, T. A. Henzinger, and M. Lechner, “How many bits does it take to quantize your neural network?,” in International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Dublin, Ireland, 2020, vol. 12079, pp. 79–97.
View | Files available | DOI
 
[3]
2020 | Conference Paper | IST-REx-ID: 8194 | OA
M. Baranowski, S. He, M. Lechner, T. S. Nguyen, and Z. Rakamarić, “An SMT theory of fixed-point arithmetic,” in Automated Reasoning, Paris, France, 2020, vol. 12166, pp. 13–31.
View | DOI | Download Published Version (ext.)
 
[2]
2020 | Journal Article | IST-REx-ID: 8679
M. Lechner, R. Hasani, A. Amini, T. A. Henzinger, D. Rus, and R. Grosu, “Neural circuit policies enabling auditable autonomy,” Nature Machine Intelligence, vol. 2, pp. 642–652, 2020.
View | Files available | DOI
 
[1]
2019 | Conference Paper | IST-REx-ID: 6985 | OA
R. Hasani, A. Amini, M. Lechner, F. Naser, R. Grosu, and D. Rus, “Response characterization for auditing cell dynamics in long short-term memory networks,” in Proceedings of the International Joint Conference on Neural Networks, Budapest, Hungary, 2019.
View | DOI | Download Preprint (ext.) | arXiv
 

Search

Filter Publications