Lower Bounds for Sums of Ordered Set-Multilinear ABPs
On Annihilators of Explicit Polynomial Maps
New Lower Bounds against Homogeneous Non-Commutative Circuits
Separating ABPs and Some Structured Formulas in the Non-Commutative Setting
Generalised Parametric Path Problems
On the Existence of Algebraically Natural Proofs
A Quadratic Lower Bound for Algebraic Branching Programs and Formulas
Constructing Faithful Maps over Fields of Finite Characteristics
Hardness and Independence of Polynomials
Towards Algebraic Independence based PITs over Arbitrary Fields
Non-Commutative Circuits and the Sum of Squares problem