TY  - RPRT
TI  - Meta-Mathematics of Algebraic Complexity
AU  - Michal Garlik
AU  - Svyatoslav Gryaznov
AU  - Jiaqi Lu
AU  - Rahul Santhanam
AU  - Iddo Tzameret
PY  - 2026
DO  - 10.4230/lipics.lics.2026.49
UR  - https://arxiv.org/abs/2610.33938
ID  - 2610.33938
ER  -