Grunbacher, S., Hasani, R., Lechner, M., Cyranka, J., Smolka, S. A., &; Grosu, R. (2021). On the verification of neural ODEs with stochastic guarantees. In Proceedings of the AAAI Conference on Artificial Intelligence (Vol. 35, pp. 11525–11535). Virtual: AAAI Press.
LibreCat: https://research-explorer.ista.ac.at/record/10669
arXiv: 2012.08863

Hasani, R., Lechner, M., Amini, A., Rus, D., &; Grosu, R. (2021). Liquid time-constant networks. In Proceedings of the AAAI Conference on Artificial Intelligence (Vol. 35, pp. 7657–7666). Virtual: AAAI Press.
LibreCat: https://research-explorer.ista.ac.at/record/10671
arXiv: 2006.04439

Kungurtsev, V., Egan, M., Chatterjee, B., &; Alistarh, D.-A. (2021). Asynchronous optimization methods for efficient training of deep neural networks with guarantees. In 35th AAAI Conference on Artificial Intelligence, AAAI 2021 (Vol. 35, pp. 8209–8216). Virtual, Online: AAAI Press.
LibreCat: https://research-explorer.ista.ac.at/record/11436
arXiv: 1905.11845

Henzinger, T. A., Lechner, M., &; Zikelic, D. (2021). Scalable verification of quantized neural networks. In Proceedings of the AAAI Conference on Artificial Intelligence (Vol. 35, pp. 3787–3795). Virtual: AAAI Press.
LibreCat: https://research-explorer.ista.ac.at/record/10665
arXiv: 2012.08185

Avni, G., Ibsen-Jensen, R., &; Tkadlec, J. (2020). All-pay bidding games on graphs. Proceedings of the AAAI Conference on Artificial Intelligence. New York, NY, United States: Association for the Advancement of Artificial Intelligence.https://doi.org/10.1609/aaai.v34i02.5546 
LibreCat: https://research-explorer.ista.ac.at/record/9197
DOI: 10.1609/aaai.v34i02.5546
arXiv: 1911.08360

Locatello, F., Bauer, S., Lucic, M., Rätsch, G., Gelly, S., Schölkopf, B., &; Bachem, O. (2020). A commentary on the unsupervised learning of disentangled representations. In The 34th AAAI Conference on Artificial Intelligence (Vol. 34, pp. 13681–13684). New York, NY, United States: Association for the Advancement of Artificial Intelligence.https://doi.org/10.1609/aaai.v34i09.7120 
LibreCat: https://research-explorer.ista.ac.at/record/14186
DOI: 10.1609/aaai.v34i09.7120
arXiv: 2007.14184