Mathias Lechner

86 papers A* 30A 2B 1Journal 48Unranked 5

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	MMAI Gym for Science: Training Liquid Foundation Models for Drug Discovery. CoRR Maksim Kuznetsov, Zulfat Miftahutdinov, Rim Shayakhmetov, Mikolaj Mizera, Roman Schutski, Bogdan Zagribelnyy, Ivan Ilin, Nikita Bondarev, Thomas MacDougall, Mathieu Reymond, Mihir Bafna, Kaeli Kaymak-Loveless, Eugene Babin, Maxim Malkov, Mathias Lechner, Ramin M. Hasani, Alexander Amini, Vladimir Aladinskiy, Alex Aliper, Alex Zhavoronkov
2025	J	`jnl`	Holistic Surgical Phase Recognition with Hierarchical Input Dependent State Space Models. CoRR Haoyang Wu, Tsun-Hsuan Wang, Mathias Lechner, Ramin M. Hasani, Jennifer A. Eckhoff, Paul Pak, Ozanan R. Meireles, Guy Rosman, Yutong Ban, Daniela Rus
2025	J	`jnl`	LFM2 Technical Report. CoRR Alexander Amini, Anna Banaszak, Harold Benoit, Arthur Böök, Tarek Dakhran, Song Duong, Alfred Eng, Fernando Fernandes, Marc Härkönen, Anne Harrington, Ramin M. Hasani, Saniya Karwa, Yuri Khrustalev, Maxime Labonne, Mathias Lechner, Valentine Lechner, Simon Lee, Zetian Li, Noel Loo, Jacob Marks, Edoardo Mosca, Samuel J. Paech, Paul Pak, Rom N. Parnichkun, Alex Quach, Ryan Rogers, Daniela Rus, Nayan Saxena, Bettina Schlager, Tim Seyde, Jimmy T. H. Smith, Aditya Tadimeti, Neehal Tumma
2025	A*	`conf`	SafeDiffuser: Safe Planning with Diffusion Probabilistic Models. ICLR Wei Xiao, Tsun-Hsuan Wang, Chuang Gan, Ramin M. Hasani, Mathias Lechner, Daniela Rus
2025	J	`jnl`	Zero-Overhead Introspection for Adaptive Test-Time Compute. CoRR Rohin Manvi, Joey Hong, Tim Seyde, Maxime Labonne, Mathias Lechner, Sergey Levine
2024	A	`conf`	Competitive Multi-Team Behavior in Dynamic Flight Scenarios. IROS Tim Seyde, Mathias Lechner, Joshua Rountree, Daniela Rus
2024	A*	`conf`	Large Scale Dataset Distillation with Domain Shift. ICML Noel Loo, Alaa Maalouf, Ramin M. Hasani, Mathias Lechner, Alexander Amini, Daniela Rus
2024	J	`jnl`	Learning with Chemical versus Electrical Synapses - Does it Make a Difference? CoRR Mónika Farsang, Mathias Lechner, David Lung, Ramin M. Hasani, Daniela Rus, Radu Grosu
2024	A*	`conf`	Learning with Chemical versus Electrical Synapses Does it Make a Difference? ICRA Mónika Farsang, Mathias Lechner, David Lung, Ramin M. Hasani, Daniela Rus, Radu Grosu
2024	A*	`conf`	Leveraging Low-Rank and Sparse Recurrent Connectivity for Robust Closed-Loop Control. ICLR Neehal Tumma, Mathias Lechner, Noel Loo, Ramin M. Hasani, Daniela Rus
2024	A*	`conf`	Overparametrization helps offline-to-online generalization of closed-loop control from pixels. ICRA Mathias Lechner, Ramin M. Hasani, Alexander Amini, Tsun-Hsuan Wang, Thomas A. Henzinger, Daniela Rus
2024	A*	`conf`	State-Free Inference of State-Space Models: The Transfer Function Approach. ICML Rom N. Parnichkun, Stefano Massaroli, Alessandro Moro, Jimmy T. H. Smith, Ramin M. Hasani, Mathias Lechner, Qi An, Christopher Ré, Hajime Asama, Stefano Ermon, Taiji Suzuki, Michael Poli, Atsushi Yamashita
2024	J	`jnl`	State-Free Inference of State-Space Models: The Transfer Function Approach. CoRR Rom N. Parnichkun, Stefano Massaroli, Alessandro Moro, Jimmy T. H. Smith, Ramin M. Hasani, Mathias Lechner, Qi An, Christopher Ré, Hajime Asama, Stefano Ermon, Taiji Suzuki, Atsushi Yamashita, Michael Poli
2024	A*	`conf`	Understanding Reconstruction Attacks with the Neural Tangent Kernel and Dataset Distillation. ICLR Noel Loo, Ramin M. Hasani, Mathias Lechner, Alexander Amini, Daniela Rus
2023	—	`conf`	A Learner-Verifier Framework for Neural Network Controllers and Certificates of Stochastic Systems. TACAS (1) Krishnendu Chatterjee, Thomas A. Henzinger, Mathias Lechner, Dorde Zikelic
2023	A*	`conf`	Compositional Policy Learning in Stochastic Control Systems with Formal Guarantees. NeurIPS Dorde Zikelic, Mathias Lechner, Abhinav Verma, Krishnendu Chatterjee, Thomas A. Henzinger
2023	J	`jnl`	Compositional Policy Learning in Stochastic Control Systems with Formal Guarantees. CoRR Dorde Zikelic, Mathias Lechner, Abhinav Verma, Krishnendu Chatterjee, Thomas A. Henzinger
2023	J	`jnl`	Dataset Distillation Fixes Dataset Reconstruction Attacks. CoRR Noel Loo, Ramin M. Hasani, Mathias Lechner, Daniela Rus
2023	A*	`conf`	Dataset Distillation with Convexified Implicit Gradients. ICML Noel Loo, Ramin M. Hasani, Mathias Lechner, Daniela Rus
2023	J	`jnl`	Dataset Distillation with Convexified Implicit Gradients. CoRR Noel Loo, Ramin M. Hasani, Mathias Lechner, Daniela Rus
2023	A*	`conf`	Gigastep - One Billion Steps per Second Multi-agent Reinforcement Learning. NeurIPS Mathias Lechner, Lianhao Yin, Tim Seyde, Tsun-Hsuan Johnson Wang, Wei Xiao, Ramin M. Hasani, Joshua Rountree, Daniela Rus
2023	A*	`conf`	Infrastructure-based End-to-End Learning and Prevention of Driver Failure. ICRA Noam Buckman, Shiva Sreeram, Mathias Lechner, Yutong Ban, Ramin M. Hasani, Sertac Karaman, Daniela Rus
2023	J	`jnl`	Infrastructure-based End-to-End Learning and Prevention of Driver Failure. CoRR Noam Buckman, Shiva Sreeram, Mathias Lechner, Yutong Ban, Ramin M. Hasani, Sertac Karaman, Daniela Rus
2023	A*	`conf`	Learning Control Policies for Stochastic Systems with Reach-Avoid Guarantees. AAAI Dorde Zikelic, Mathias Lechner, Thomas A. Henzinger, Krishnendu Chatterjee
2023	—	`conf`	Learning Provably Stabilizing Neural Controllers for Discrete-Time Stochastic Systems. ATVA (1) Matin Ansaripour, Krishnendu Chatterjee, Thomas A. Henzinger, Mathias Lechner, Dorde Zikelic
2023	J	`jnl`	Leveraging Low-Rank and Sparse Recurrent Connectivity for Robust Closed-Loop Control. CoRR Neehal Tumma, Mathias Lechner, Noel Loo, Ramin M. Hasani, Daniela Rus
2023	A*	`conf`	Liquid Structural State-Space Models. ICLR Ramin M. Hasani, Mathias Lechner, Tsun-Hsuan Wang, Makram Chahine, Alexander Amini, Daniela Rus
2023	A*	`conf`	On the Forward Invariance of Neural ODEs. ICML Wei Xiao, Tsun-Hsuan Wang, Ramin M. Hasani, Mathias Lechner, Yutong Ban, Chuang Gan, Daniela Rus
2023	A*	`conf`	On the Size and Approximation Error of Distilled Datasets. NeurIPS Alaa Maalouf, Murad Tukan, Noel Loo, Ramin M. Hasani, Mathias Lechner, Daniela Rus
2023	J	`jnl`	On the Size and Approximation Error of Distilled Sets. CoRR Alaa Maalouf, Murad Tukan, Noel Loo, Ramin M. Hasani, Mathias Lechner, Daniela Rus
2023	A*	`conf`	Quantization-Aware Interval Bound Propagation for Training Certifiably Robust Quantized Neural Networks. AAAI Mathias Lechner, Dorde Zikelic, Krishnendu Chatterjee, Thomas A. Henzinger, Daniela Rus
2023	J	`jnl`	Revisiting the Adversarial Robustness-Accuracy Tradeoff in Robot Learning. IEEE Robotics Autom. Lett. Mathias Lechner, Alexander Amini, Daniela Rus, Thomas A. Henzinger
2023	J	`jnl`	Robust flight navigation out of distribution with liquid neural networks. Sci. Robotics Makram Chahine, Ramin M. Hasani, Patrick Kao, Aaron Ray, Ryan Shubert, Mathias Lechner, Alexander Amini, Daniela Rus
2023	A	`conf`	Towards Cooperative Flight Control Using Visual-Attention. IROS Lianhao Yin, Makram Chahine, Tsun-Hsuan Wang, Tim Seyde, Chao Liu, Mathias Lechner, Ramin M. Hasani, Daniela Rus
2022	J	`jnl`	Are All Vision Models Created Equal? A Study of the Open-Loop to Closed-Loop Causality Gap. CoRR Mathias Lechner, Ramin M. Hasani, Alexander Amini, Tsun-Hsuan Wang, Thomas A. Henzinger, Daniela Rus
2022	J	`jnl`	Closed-form continuous-time neural networks. Nat. Mac. Intell. Ramin M. Hasani, Mathias Lechner, Alexander Amini, Lucas Liebenwein, Aaron Ray, Max Tschaikowski, Gerald Teschl, Daniela Rus
2022	J	`jnl`	Cooperative Flight Control Using Visual-Attention - Air-Guardian. CoRR Lianhao Yin, Tsun-Hsuan Wang, Makram Chahine, Tim Seyde, Mathias Lechner, Ramin M. Hasani, Daniela Rus
2022	J	`jnl`	Entangled Residual Mappings. CoRR Mathias Lechner, Ramin M. Hasani, Zahra Babaiee, Radu Grosu, Daniela Rus, Thomas A. Henzinger, Sepp Hochreiter
2022	A*	`conf`	GoTube: Scalable Statistical Verification of Continuous-Depth Models. AAAI Sophie A. Gruenbacher, Mathias Lechner, Ramin M. Hasani, Daniela Rus, Thomas A. Henzinger, Scott A. Smolka, Radu Grosu
2022	A*	`conf`	Latent Imagination Facilitates Zero-Shot Transfer in Autonomous Racing. ICRA Axel Brunnbauer, Luigi Berducci, Andreas Brandstätter, Mathias Lechner, Ramin M. Hasani, Daniela Rus, Radu Grosu
2022	J	`jnl`	Learning Control Policies for Region Stabilization in Stochastic Systems. CoRR Matin Ansaripour, Mathias Lechner, Dorde Zikelic, Krishnendu Chatterjee, Thomas A. Henzinger
2022	J	`jnl`	Learning Control Policies for Stochastic Systems with Reach-avoid Guarantees. CoRR Dorde Zikelic, Mathias Lechner, Thomas A. Henzinger, Krishnendu Chatterjee
2022	J	`jnl`	Learning Stabilizing Policies in Stochastic Control Systems. CoRR Dorde Zikelic, Mathias Lechner, Krishnendu Chatterjee, Thomas A. Henzinger
2022	J	`jnl`	Liquid Structural State-Space Models. CoRR Ramin M. Hasani, Mathias Lechner, Tsun-Hsuan Wang, Makram Chahine, Alexander Amini, Daniela Rus
2022	J	`jnl`	On the Forward Invariance of Neural ODEs. CoRR Wei Xiao, Tsun-Hsuan Wang, Ramin M. Hasani, Mathias Lechner, Daniela Rus
2022	J	`jnl`	Publisher Correction: Closed-form continuous-time neural networks. Nat. Mac. Intell. Ramin M. Hasani, Mathias Lechner, Alexander Amini, Lucas Liebenwein, Aaron Ray, Max Tschaikowski, Gerald Teschl, Daniela Rus
2022	J	`jnl`	PyHopper - Hyperparameter optimization. CoRR Mathias Lechner, Ramin M. Hasani, Philipp Neubauer, Sophie A. Neubauer, Daniela Rus
2022	J	`jnl`	Quantization-aware Interval Bound Propagation for Training Certifiably Robust Quantized Neural Networks. CoRR Mathias Lechner, Dorde Zikelic, Krishnendu Chatterjee, Thomas A. Henzinger, Daniela Rus
2022	J	`jnl`	Revisiting the Adversarial Robustness-Accuracy Tradeoff in Robot Learning. CoRR Mathias Lechner, Alexander Amini, Daniela Rus, Thomas A. Henzinger
2022	A*	`conf`	Stability Verification in Stochastic Control Systems via Neural Network Supermartingales. AAAI Mathias Lechner, Dorde Zikelic, Krishnendu Chatterjee, Thomas A. Henzinger
2021	A*	`conf`	Adversarial Training is Not Ready for Robot Learning. ICRA Mathias Lechner, Ramin M. Hasani, Radu Grosu, Daniela Rus, Thomas A. Henzinger
2021	J	`jnl`	Adversarial Training is Not Ready for Robot Learning. CoRR Mathias Lechner, Ramin M. Hasani, Radu Grosu, Daniela Rus, Thomas A. Henzinger
2021	A*	`conf`	Causal Navigation by Continuous-time Neural Networks. NeurIPS Charles Vorbach, Ramin M. Hasani, Alexander Amini, Mathias Lechner, Daniela Rus
2021	J	`jnl`	Causal Navigation by Continuous-time Neural Networks. CoRR Charles Vorbach, Ramin M. Hasani, Alexander Amini, Mathias Lechner, Daniela Rus
2021	J	`jnl`	Closed-form Continuous-Depth Models. CoRR Ramin M. Hasani, Mathias Lechner, Alexander Amini, Lucas Liebenwein, Max Tschaikowski, Gerald Teschl, Daniela Rus
2021	J	`jnl`	GoTube: Scalable Stochastic Verification of Continuous-Depth Models. CoRR Sophie Gruenbacher, Mathias Lechner, Ramin M. Hasani, Daniela Rus, Thomas A. Henzinger, Scott A. Smolka, Radu Grosu
2021	A*	`conf`	Infinite Time Horizon Safety of Bayesian Neural Networks. NeurIPS Mathias Lechner, Dorde Zikelic, Krishnendu Chatterjee, Thomas A. Henzinger
2021	J	`jnl`	Infinite Time Horizon Safety of Bayesian Neural Networks. CoRR Mathias Lechner, Dorde Zikelic, Krishnendu Chatterjee, Thomas A. Henzinger
2021	J	`jnl`	Interactive Analysis of CNN Robustness. Comput. Graph. Forum Stefan Sietzen, Mathias Lechner, Judy Borowski, Ramin M. Hasani, Manuela Waldner
2021	J	`jnl`	Interactive Analysis of CNN Robustness. CoRR Stefan Sietzen, Mathias Lechner, Judy Borowski, Ramin M. Hasani, Manuela Waldner
2021	A*	`conf`	Liquid Time-constant Networks. AAAI Ramin M. Hasani, Mathias Lechner, Alexander Amini, Daniela Rus, Radu Grosu
2021	J	`jnl`	Model-based versus Model-free Deep Reinforcement Learning for Autonomous Racing Cars. CoRR Axel Brunnbauer, Luigi Berducci, Andreas Brandstätter, Mathias Lechner, Ramin M. Hasani, Daniela Rus, Radu Grosu
2021	A*	`conf`	On the Verification of Neural ODEs with Stochastic Guarantees. AAAI Sophie Gruenbacher, Ramin M. Hasani, Mathias Lechner, Jacek Cyranka, Scott A. Smolka, Radu Grosu
2021	A*	`conf`	On-Off Center-Surround Receptive Fields for Accurate and Robust Image Classification. ICML Zahra Babaiee, Ramin M. Hasani, Mathias Lechner, Daniela Rus, Radu Grosu
2021	J	`jnl`	On-Off Center-Surround Receptive Fields for Accurate and Robust Image Classification. CoRR Zahra Babaiee, Ramin M. Hasani, Mathias Lechner, Daniela Rus, Radu Grosu
2021	A*	`conf`	Scalable Verification of Quantized Neural Networks. AAAI Thomas A. Henzinger, Mathias Lechner, Dorde Zikelic
2021	J	`jnl`	Stability Verification in Stochastic Control Systems via Neural Network Supermartingales. CoRR Mathias Lechner, Dorde Zikelic, Krishnendu Chatterjee, Thomas A. Henzinger
2020	A*	`conf`	A Natural Lottery Ticket Winner: Reinforcement Learning with Ordinary Neural Circuits. ICML Ramin M. Hasani, Mathias Lechner, Alexander Amini, Daniela Rus, Radu Grosu
2020	—	`conf`	An SMT Theory of Fixed-Point Arithmetic. IJCAR (1) Marek S. Baranowski, Shaobo He, Mathias Lechner, Thanh Son Nguyen, Zvonimir Rakamaric
2020	A*	`conf`	Gershgorin Loss Stabilizes the Recurrent Neural Network Compartment of an End-to-end Robot Learning Scheme. ICRA Mathias Lechner, Ramin M. Hasani, Daniela Rus, Radu Grosu
2020	—	`conf`	How Many Bits Does it Take to Quantize Your Neural Network? TACAS (2) Mirco Giacobbe, Thomas A. Henzinger, Mathias Lechner
2020	—	`conf`	Lagrangian Reachtubes: The Next Generation. CDC Sophie Gruenbacher, Jacek Cyranka, Mathias Lechner, Md. Ariful Islam, Scott A. Smolka, Radu Grosu
2020	J	`jnl`	Lagrangian Reachtubes: The Next Generation. CoRR Sophie Gruenbacher, Jacek Cyranka, Mathias Lechner, Md. Ariful Islam, Scott A. Smolka, Radu Grosu
2020	J	`jnl`	Learning Long-Term Dependencies in Irregularly-Sampled Time Series. CoRR Mathias Lechner, Ramin M. Hasani
2020	A*	`conf`	Learning representations for binary-classification without backpropagation. ICLR Mathias Lechner
2020	J	`jnl`	Liquid Time-constant Networks. CoRR Ramin M. Hasani, Mathias Lechner, Alexander Amini, Daniela Rus, Radu Grosu
2020	J	`jnl`	Neural circuit policies enabling auditable autonomy. Nat. Mach. Intell. Mathias Lechner, Ramin M. Hasani, Alexander Amini, Thomas A. Henzinger, Daniela Rus, Radu Grosu
2020	J	`jnl`	On The Verification of Neural ODEs with Stochastic Guarantees. CoRR Sophie Gruenbacher, Ramin M. Hasani, Mathias Lechner, Jacek Cyranka, Scott A. Smolka, Radu Grosu
2020	J	`jnl`	Scalable Verification of Quantized Neural Networks (Technical Report). CoRR Thomas A. Henzinger, Mathias Lechner, Dorde Zikelic
2019	A*	`conf`	Designing Worm-inspired Neural Networks for Interpretable Robotic Control. ICRA Mathias Lechner, Ramin M. Hasani, Manuel Zimmer, Thomas A. Henzinger, Radu Grosu
2019	B	`conf`	Response Characterization for Auditing Cell Dynamics in Long Short-term Memory Networks. IJCNN Ramin M. Hasani, Alexander Amini, Mathias Lechner, Felix Naser, Radu Grosu, Daniela Rus
2018	J	`jnl`	Liquid Time-constant Recurrent Neural Networks as Universal Approximators. CoRR Ramin M. Hasani, Mathias Lechner, Alexander Amini, Daniela Rus, Radu Grosu
2018	J	`jnl`	Neuronal Circuit Policies. CoRR Mathias Lechner, Ramin M. Hasani, Radu Grosu
2018	J	`jnl`	Re-purposing Compact Neuronal Circuit Policies to Govern Reinforcement Learning Tasks. CoRR Ramin M. Hasani, Mathias Lechner, Alexander Amini, Daniela Rus, Radu Grosu
2018	J	`jnl`	Response Characterization for Auditing Cell Dynamics in Long Short-term Memory Networks. CoRR Ramin M. Hasani, Alexander Amini, Mathias Lechner, Felix Naser, Radu Grosu, Daniela Rus
2017	J	`jnl`	Worm-level Control through Search-based Reinforcement Learning. CoRR Mathias Lechner, Radu Grosu, Ramin M. Hasani