Joshua Cook, Dana Moshkovitz: Tighter MA/1 Circuit Lower Bounds From Verifier Efficient PCPs for PSPACE. Electron. Colloquium Comput. Complex. TR22: Article TR22-014 (2022)