5 papers
Measuring and Mitigating Solution Mode Collapse in RLVR
Liv G. d'Aliberti, Marwa Abdulhai, Sofiia Druchyna +2
A language model (LM) can usually answer the same question in more than one way, but reinforcement learning with verifiable rewards (RLVR) is indifferent to which correct answer a…
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 (…
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…
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…