Recent Progress in Algebraic Circuit Complexity
Lower Bounds for some Algebraic Models of Computation
Lower Bounds for Sums of Ordered Set-Multilinear ABPs
Lower Bounds Against Non-Commutative Models of Algebraic Computation
A Quadratic Lower Bound against Homogeneous Non-Commutative Circuits
Separating ABPs and some Structured Formulas in the Non-Commutative Setting
Lower Bounds in Algebraic Circuit Complexity
Lower Bounds in Algebraic Circuit Complexity
A Quadratic Lower Bound for Algebraic Branching Programs
Faithful Homomorphisms and PIT - A Short Survey
Algebraic Independence Testing over Arbitrary Fields
Constructing Faithful Maps over Arbitrary Fields
Entropy in Algebraic Independence Testing
An Almost Quadratic Lower Bound Against Formulas for a Constant-Degree Polynomial
A Quadratic Lower Bound for Homogeneous ABPs
Linear Matroid Intersection is in quasi-NC
Unbalanced Random Matching Markets
Compactness Theorem for Propositional Logic: A Topological Proof
Alice, Bob, and Some Bags of Cash
How hard is it to solve this?
How to convince ourselves that we are NOT stupid.
Fantastic Puzzles (and how to solve them)
Lower Bounds Against Non-Commutative Models of Algebraic Computation
Separating ABPs and Some Structured Formulas in the Non-Commutative Setting
A Quadratic Lower Bound for Algebraic Branching Programs
Constructing Faithful Maps over Arbitrary Fields