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
link | ECCC -
On Closure Properties of Read-Once Oblivious Algebraic Branching Programs
Robert Andrews, Jules Armand, Magnus Hansen, Nutan Limaye, Srikanth Srinivasan, and Sébastien Tavenas
17th Innovations in Theoretical Computer Science (ITCS), 2025
link | arXiv