Dubach, Guillaume. “On Eigenvector Statistics in the Spherical and Truncated Unitary Ensembles.”https://doi.org/10.1214/21-EJP686__Electronic Journal of Probability. Institute of Mathematical Statistics, 2021.https://doi.org/10.1214/21-EJP686 .

Ilharco, Cesar, Afsaneh Shirazi, Arjun Gopalan, Arsha Nagrani, Blae Bratanid, Chris Bregler, Christina Liu, et al. “Recognizing Multimodal Entailment.”https://doi.org/10.18653/v1/2021.acl-tutorials.6__In 59th Annual Meeting of the Association for Computational Linguistics and the 11th International Joint Conference on Natural Language Processing, Tutorial Abstracts, 29–30. Association for Computational Linguistics, 2021.https://doi.org/10.18653/v1/2021.acl-tutorials.6 .

Browning, Timothy D. Cubic Forms and the Circle Method. Vol. 343. Cham: Springer Nature, 2021.https://doi.org/10.1007/978-3-030-86872-7 .

Bodova, Katarina, Eniko Szep, and Nicholas H Barton. “Dynamic Maximum Entropy Provides Accurate Approximation of Structured Population Dynamics.”https://doi.org/10.1371/journal.pcbi.1009661__PLoS Computational Biology. Public Library of Science, 2021.https://doi.org/10.1371/journal.pcbi.1009661 .

Kolmogorov, Vladimir, and Thomas Pock. “One-Sided Frank-Wolfe Algorithms for Saddle Problems.” In 38th International Conference on Machine Learning, 2021.

Nguyen, Quynh, Marco Mondelli, and Guido F Montufar. “Tight Bounds on the Smallest Eigenvalue of the Neural Tangent Kernel for Deep ReLU Networks.” In Proceedings of the 38th International Conference on Machine Learning, edited by Marina Meila and Tong Zhang, 139:8119–29. ML Research Press, 2021.

Hashemi, Seyyed Ali, Marco Mondelli, John Cioffi, and Andrea Goldsmith. “Successive Syndrome-Check Decoding of Polar Codes.”https://doi.org/10.1109/IEEECONF53345.2021.9723394__In Proceedings of the 55th Asilomar Conference on Signals, Systems, and Computers, 2021–October:943–47. Institute of Electrical and Electronics Engineers, 2021.https://doi.org/10.1109/IEEECONF53345.2021.9723394 .

Chen, Joe P., and Federico Sau. “Higher-Order Hydrodynamics and Equilibrium Fluctuations of Interacting Particle Systems.” Markov Processes And Related Fields. Polymat Publishing, 2021.

Arrighi, Emmanuel, Henning Fernau, Stefan Hoffmann, Markus Holzer, Ismael R Jecker, Mateus De Oliveira Oliveira, and Petra Wolf. “On the Complexity of Intersection Non-Emptiness for Star-Free Language Classes.”https://doi.org/10.4230/LIPIcs.FSTTCS.2021.34__In 41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Vol. 213. Schloss Dagstuhl - Leibniz Zentrum für Informatik, 2021.https://doi.org/10.4230/LIPIcs.FSTTCS.2021.34 .

Chatterjee, Krishnendu, Rasmus Ibsen-Jensen, and Andreas Pavlogiannis. “Quantitative Verification on Product Graphs of Small Treewidth.”https://doi.org/10.4230/LIPIcs.FSTTCS.2021.42__In 41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Vol. 213. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021.https://doi.org/10.4230/LIPIcs.FSTTCS.2021.42 .

Nardin, Michele, James W. Phillips, William F. Podlaski, and Sander W. Keemink. “Nonlinear Computations in Spiking Neural Networks through Multiplicative Synapses.”https://doi.org/10.24072/pcjournal.69__Peer Community Journal. Centre Mersennef; Peer Community In, 2021.https://doi.org/10.24072/pcjournal.69 .

Simbierowicz, Slawomir, Chunyan Shi, Michele Collodo, Moritz Kirste, Farid Hassani, Johannes M Fink, Jonas Bylander, Daniel Perez Lozano, and Russell Lake. Qubit Energy-Relaxation Statistics in the Bluefors Quantum Measurement System. Helsinki, Finland: Bluefors Oy, 2021.

Lake, Russell, Slawomir Simbierowicz, Philip Krantz, Farid Hassani, and Johannes M Fink. The Bluefors Dilution Refrigerator as an Integrated Quantum Measurement System. Helsinki, Finland: Bluefors Oy, 2021.

Grunbacher, Sophie, Ramin Hasani, Mathias Lechner, Jacek Cyranka, Scott A Smolka, and Radu Grosu. “On the Verification of Neural ODEs with Stochastic Guarantees.” In Proceedings of the AAAI Conference on Artificial Intelligence, 35:11525–35. AAAI Press, 2021.

Hasani, Ramin, Mathias Lechner, Alexander Amini, Daniela Rus, and Radu Grosu. “Liquid Time-Constant Networks.” In Proceedings of the AAAI Conference on Artificial Intelligence, 35:7657–66. AAAI Press, 2021.

Babaiee, Zahra, Ramin Hasani, Mathias Lechner, Daniela Rus, and Radu Grosu. “On-off Center-Surround Receptive Fields for Accurate and Robust Image Classification.” In Proceedings of the 38th International Conference on Machine Learning, 139:478–89. ML Research Press, 2021.

Vorbach, Charles J, Ramin Hasani, Alexander Amini, Mathias Lechner, and Daniela Rus. “Causal Navigation by Continuous-Time Neural Networks.” In 35th Conference on Neural Information Processing Systems, 2021.

Kragl, Bernhard, and Shaz Qadeer. “The Civl Verifier.”https://doi.org/10.34727/2021/isbn.978-3-85448-046-4_23__In Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design, edited by Piskac Ruzica and Michael W. Whalen, 2:143–152. TU Wien Academic Press, 2021.https://doi.org/10.34727/2021/isbn.978-3-85448-046-4_23 .

Avni, Guy, Ismael R Jecker, and Dorde Zikelic. “Infinite-Duration All-Pay Bidding Games.”https://doi.org/10.1137/1.9781611976465.38__In Proceedings of the 2021 ACM-SIAM Symposium on Discrete Algorithms, edited by Dániel Marx, 617–36. Society for Industrial and Applied Mathematics, 2021.https://doi.org/10.1137/1.9781611976465.38 .

Tomásek, Petr, Karel Horák, Aditya Aradhye, Branislav Bosanský, and Krishnendu Chatterjee. “Solving Partially Observable Stochastic Shortest-Path Games.”https://doi.org/10.24963/ijcai.2021/575__In 30th International Joint Conference on Artificial Intelligence, 4182–89. International Joint Conferences on Artificial Intelligence, 2021.https://doi.org/10.24963/ijcai.2021/575 .