Lechner, Mathias

26 publications

ICLR 2025 SafeDiffuser: Safe Planning with Diffusion Probabilistic Models Wei Xiao, Tsun-Hsuan Wang, Chuang Gan, Ramin Hasani, Mathias Lechner, Daniela Rus

ICML 2024 Large Scale Dataset Distillation with Domain Shift Noel Loo, Alaa Maalouf, Ramin Hasani, Mathias Lechner, Alexander Amini, Daniela Rus

ICLR 2024 Leveraging Low-Rank and Sparse Recurrent Connectivity for Robust Closed-Loop Control Neehal Tumma, Mathias Lechner, Noel Loo, Ramin Hasani, Daniela Rus

ICML 2024 State-Free Inference of State-Space Models: The *Transfer Function* Approach Rom Parnichkun, Stefano Massaroli, Alessandro Moro, Jimmy T.H. Smith, Ramin Hasani, Mathias Lechner, Qi An, Christopher Re, Hajime Asama, Stefano Ermon, Taiji Suzuki, Michael Poli, Atsushi Yamashita

ICLR 2024 Understanding Reconstruction Attacks with the Neural Tangent Kernel and Dataset Distillation Noel Loo, Ramin Hasani, Mathias Lechner, Alexander Amini, Daniela Rus

ICMLW 2023 Adversarial Training in Continuous-Time Models and Irregularly Sampled Time-Series Alvin Li, Mathias Lechner, Alexander Amini, Daniela Rus

NeurIPS 2023 Compositional Policy Learning in Stochastic Control Systems with Formal Guarantees Đorđe Žikelić, Mathias Lechner, Abhinav Verma, Krishnendu Chatterjee, Thomas Henzinger

ICML 2023 Dataset Distillation with Convexified Implicit Gradients Noel Loo, Ramin Hasani, Mathias Lechner, Daniela Rus

NeurIPS 2023 Gigastep - One Billion Steps per Second Multi-Agent Reinforcement Learning Mathias Lechner, Lianhao Yin, Tim Seyde, Tsun-Hsuan Johnson Wang, Wei Xiao, Ramin Hasani, Joshua Rountree, Daniela Rus

AAAI 2023 Learning Control Policies for Stochastic Systems with Reach-Avoid Guarantees Dorde Zikelic, Mathias Lechner, Thomas A. Henzinger, Krishnendu Chatterjee

NeurIPSW 2023 Leveraging Low-Rank and Sparse Recurrent Connectivity for Robust Closed-Loop Control Neehal Tumma, Mathias Lechner, Noel Loo, Ramin Hasani, Daniela Rus

ICLR 2023 Liquid Structural State-Space Models Ramin Hasani, Mathias Lechner, Tsun-Hsuan Wang, Makram Chahine, Alexander Amini, Daniela Rus

ICML 2023 On the Forward Invariance of Neural ODEs Wei Xiao, Tsun-Hsuan Wang, Ramin Hasani, Mathias Lechner, Yutong Ban, Chuang Gan, Daniela Rus

NeurIPS 2023 On the Size and Approximation Error of Distilled Datasets Alaa Maalouf, Murad Tukan, Noel Loo, Ramin Hasani, Mathias Lechner, Daniela Rus

AAAI 2023 Quantization-Aware Interval Bound Propagation for Training Certifiably Robust Quantized Neural Networks Mathias Lechner, Dorde Zikelic, Krishnendu Chatterjee, Thomas A. Henzinger, Daniela Rus

AAAI 2022 GoTube: Scalable Statistical Verification of Continuous-Depth Models Sophie A. Gruenbacher, Mathias Lechner, Ramin M. Hasani, Daniela Rus, Thomas A. Henzinger, Scott A. Smolka, Radu Grosu

NeurIPSW 2022 PyHopper - A Plug-and-Play Hyperparameter Optimization Engine Mathias Lechner, Ramin Hasani, Sophie Neubauer, Philipp Neubauer, Daniela Rus

AAAI 2022 Stability Verification in Stochastic Control Systems via Neural Network Supermartingales Mathias Lechner, Dorde Zikelic, Krishnendu Chatterjee, Thomas A. Henzinger

NeurIPS 2021 Causal Navigation by Continuous-Time Neural Networks Charles Vorbach, Ramin Hasani, Alexander Amini, Mathias Lechner, Daniela Rus

NeurIPS 2021 Infinite Time Horizon Safety of Bayesian Neural Networks Mathias Lechner, Đorđe Žikelić, Krishnendu Chatterjee, Thomas Henzinger

AAAI 2021 Liquid Time-Constant Networks Ramin M. Hasani, Mathias Lechner, Alexander Amini, Daniela Rus, Radu Grosu

AAAI 2021 On the Verification of Neural ODEs with Stochastic Guarantees Sophie Gruenbacher, Ramin M. Hasani, Mathias Lechner, Jacek Cyranka, Scott A. Smolka, Radu Grosu

ICML 2021 On-Off Center-Surround Receptive Fields for Accurate and Robust Image Classification Zahra Babaiee, Ramin Hasani, Mathias Lechner, Daniela Rus, Radu Grosu

AAAI 2021 Scalable Verification of Quantized Neural Networks Thomas A. Henzinger, Mathias Lechner, Dorde Zikelic

ICML 2020 A Natural Lottery Ticket Winner: Reinforcement Learning with Ordinary Neural Circuits Ramin Hasani, Mathias Lechner, Alexander Amini, Daniela Rus, Radu Grosu

ICLR 2020 Learning Representations for Binary-Classification Without Backpropagation Mathias Lechner