4 papers
SpectraLDS: Provable Distillation for Linear Dynamical Systems
Devan Shah, Shlomo Fortgang, Sofiia Druchyna +1
We present the first provable method for identifying symmetric linear dynamical systems (LDS) with accuracy guarantees that are independent of the systems' state dimension or effec…
When LLMs Help -- and Hurt -- Teaching Assistants in Proof-Based Courses
Romina Mahinpei, Sofiia Druchyna, Manoel Horta Ribeiro
Teaching assistants (TAs) are essential to grading and feedback provision in proof-based courses, yet these tasks are time-intensive and difficult to scale. Although Large Language…
Efficient Spectral Control of Partially Observed Linear Dynamical Systems
Anand Brahmbhatt, Gon Buzaglo, Sofiia Druchyna +1
We propose a new method for the problem of controlling linear dynamical systems under partial observation and adversarial disturbances. Our new algorithm, Double Spectral Control (…
A New Approach to Controlling Linear Dynamical Systems
Anand Brahmbhatt, Gon Buzaglo, Sofiia Druchyna +1
We propose a new method for controlling linear dynamical systems under adversarial disturbances and cost functions. Our algorithm achieves a running time that scales polylogarithmi…