Provability of the Circuit Size Hierarchy and Its Consequences. - Marco Carmosino; Valentine Kabanets; Antonina Kolokolova; Igor Carboni Oliveira; Dimitrios Tsintsilidas (Electron. Colloquium Comput. Complex., 2024)