Training deep residual networks for uniform approximation guarantees. - Matteo Marchi; Bahman Gharesifard; Paulo Tabuada (L4DC, 2021)

LiDAR Point Cloud Registration with Formal Guarantees. - Matteo Marchi; Jonathan Bunton; Bahman Gharesifard; Paulo Tabuada (CDC, 2022)

Dirty derivatives for output feedback stabilization. - Matteo Marchi; Lucas Fraile; Paulo Tabuada (CoRR, 2022)

Safety and Stability Guarantees for Control Loops With Deep Learning Perception. - Matteo Marchi; Jonathan Bunton; Bahman Gharesifard; Paulo Tabuada (IEEE Control. Syst. Lett., 2022)

Sharp Performance Bounds for PASTA. - Matteo Marchi; Jonathan Bunton; Yskandar Gas; Bahman Gharesifard; Paulo Tabuada (IEEE Control. Syst. Lett., 2023)

Heat Death of Generative Models in Closed-Loop Learning. - Matteo Marchi; Stefano Soatto; Pratik Chaudhari; Paulo Tabuada (CDC, 2024)

A Framework for Time-Varying Optimization via Derivative Estimation. - Matteo Marchi; Jonathan Bunton; João Pedro Silvestre; Paulo Tabuada (ECC, 2024)

Meanings and Feelings of Large Language Models: Observability of Latent States in Generative AI. - Tian Yu Liu; Stefano Soatto; Matteo Marchi; Pratik Chaudhari; Paulo Tabuada (CoRR, 2024)

Observability of Latent States in Generative AI Models. - Tian Yu Liu; Stefano Soatto; Matteo Marchi; Pratik Chaudhari; Paulo Tabuada (NeuS, 2025)