My papers in reverse chronological order:
-
Separation Results for Constant-Depth and Multilinear Ideal Proof Systems
Amik Raj Behera, Magnus Rahbek Dalgaard Hansen, Nutan Limaye, Srikanth Srinivasan
Under submission
link | ECCC -
On Closure Properties of Read-Once Oblivious Algebraic Branching Programs
Robert Andrews, Jules Armand, Prateek Dwivedi, Magnus Hansen, Nutan Limaye, Srikanth Srinivasan, Sébastien Tavenas
17th Innovations in Theoretical Computer Science (ITCS), 2025
link | arXiv