Meta-Mathematics of Algebraic Complexity.

Michal Garlk, Svyatoslav Gryaznov, Jiaqi Lu, Rahul Santhanam, Iddo Tzameret

Browse the full LICS paper archive.