On Annihilators of Explicit Polynomial Maps
Lower Bounds for Sums of Ordered Set-Multilinear ABPs
New Lower Bounds against Homogeneous Non-Commutative Circuits
Generalised Parametric Path Problems
Separating ABPs and Some Structured Formulas in the Non-Commutative Setting
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