Or Meir, Jakob Nordström, Toniann Pitassi, Robert Robere, Susanna F. de Rezende. Lifting with Simple Gadgets and Applications to Circuit and Proof Complexity. Electronic Colloquium on Computational Complexity (ECCC), 26:186, 2019. [doi]
Abstract is missing.