1. Weighted Sum-of-Squares Lower Bounds for Univariate Polynomials Imply $$\text{VP} \neq \text{VNP}$$;computational complexity;2024-04-16
2. Bootstrapping variables in algebraic circuits;Proceedings of the National Academy of Sciences;2019-04-11
3. SchemaDrill;Proceedings of the Workshop on Human-In-the-Loop Data Analytics;2018-06-10
4. On the ultimate complexity of factorials;Theoretical Computer Science;2004-10
5. On the Ultimate Complexity of Factorials;Lecture Notes in Computer Science;2003