| Publication | Date of Publication | Type |
|---|
On the algebraic proof complexity of tensor isomorphism | 2024-11-19 | Paper |
Matrix multiplication via matrix groups | 2024-09-25 | Paper |
Average-case algorithms for testing isomorphism of polynomials, algebras, and multilinear forms Journal of Groups, Complexity, Cryptology | 2024-07-03 | Paper |
Polynomial-time axioms of choice and polynomial-time cardinality Theory of Computing Systems | 2023-07-26 | Paper |
On p-group isomorphism: search-to-decision, counting-to-decision, and nilpotency class reductions via tensors | 2023-07-12 | Paper |
On the complexity of isomorphism problems for tensors, groups, and polynomials III: actions by classical groups | 2023-06-05 | Paper |
On the Complexity of Isomorphism Problems for Tensors, Groups, and Polynomials I: Tensor Isomorphism-Completeness SIAM Journal on Computing | 2023-04-28 | Paper |
Matrix multiplication via matrix groups | 2022-04-07 | Paper |
On the parallel complexity of Group Isomorphism via Weisfeiler-Leman | 2021-12-21 | Paper |
scientific article; zbMATH DE number 7388145 (Why is no real title available?) | 2021-08-30 | Paper |
Complexity in ideals of polynomials: questions on algebraic complexity of circuits and proofs | 2021-08-30 | Paper |
Minimum circuit size, graph isomorphism, and related problems | 2021-06-15 | Paper |
Computational topology and the unique games conjecture | 2020-08-18 | Paper |
Isomorphism problems for tensors, groups, and cubic forms: completeness and reductions | 2019-06-29 | Paper |
Incorporating Weisfeiler-Leman into algorithms for group isomorphism | 2019-05-06 | Paper |
Wildness for tensors Linear Algebra and its Applications | 2019-03-26 | Paper |
Circuit complexity, proof complexity, and polynomial identity testing. The ideal proof system Journal of the ACM | 2019-02-25 | Paper |
On cap sets and the group-theoretic approach to matrix multiplication Discrete Analysis | 2019-01-09 | Paper |
New applications of the polynomial method: the cap set conjecture and beyond Bulletin of the American Mathematical Society | 2018-12-14 | Paper |
Minimum circuit size, graph isomorphism, and related problems SIAM Journal on Computing | 2018-07-19 | Paper |
Monotone projection lower bounds from extended formulation lower bounds Theory of Computing | 2018-01-10 | Paper |
Boundaries of VP and VNP | 2017-12-19 | Paper |
Which groups are amenable to proving exponent two for matrix multiplication? | 2017-12-06 | Paper |
scientific article; zbMATH DE number 6783478 (Why is no real title available?) | 2017-09-29 | Paper |
Designing Strassen's algorithm | 2017-08-30 | Paper |
Algorithms for group isomorphism via group extensions and cohomology SIAM Journal on Computing | 2017-07-21 | Paper |
Towards an algebraic natural proofs barrier via polynomial identity testing | 2017-01-06 | Paper |
Matrix multiplication algorithms from group orbits | 2016-12-05 | Paper |
NP-hard sets are not sparse unless P=NP: An exposition of a simple proof of Mahaney's Theorem, with applications | 2016-10-18 | Paper |
Polynomial-time isomorphism test of groups that are tame extensions (extended abstract) Algorithms and Computation | 2016-01-11 | Paper |
Multi-scale structure and topological anomaly detection via a new network statistic: The onion decomposition | 2015-10-28 | Paper |
Unifying known lower bounds via geometric complexity theory Computational Complexity | 2015-06-23 | Paper |
Rotor-routing and spanning trees on planar graphs IMRN. International Mathematics Research Notices | 2015-06-22 | Paper |
Report on "Mathematical Aspects of P vs. NP and its Variants." | 2012-03-13 | Paper |
Lie algebra conjugacy | 2011-12-08 | Paper |
Complexity classes of equivalence problems revisited Information and Computation | 2011-04-28 | Paper |
On the Descriptive Complexity of Groups without Abelian Normal Subgroups | N/A | Paper |
On the complexity of isomorphism problems for tensors, groups, and polynomials IV: linear-length reductions and their applications | N/A | Paper |
On the Constant-Depth Circuit Complexity of Generating Quasigroups | N/A | Paper |