Jiaqi Lu
1 indexed paper
Recent (6 mo)
1With code
0Influential cites
0Benchmarked
0Publications per year
126
Top categories
Complexity×1Logic×1
Frequent co-authors
Research Timeline
2026
Meta-Mathematics of Algebraic Complexity
The paper studies the meta-mathematics of algebraic circuit lower bounds and their relationship with proof systems and bounded arithmetic theories.
Highlighted terms show continued research focus across papers
Papers
cs.CCcs.LOTheoreticalRecentOct 24, 2026
Meta-Mathematics of Algebraic Complexity
Michal Garlik, Svyatoslav Gryaznov, Jiaqi Lu, Rahul Santhanam +1 more
The paper studies the meta-mathematics of algebraic circuit lower bounds and their relationship with proof systems and bounded arithmetic theories.
View →