Jiatu Li: On the Time Complexity of Feasible Proofs. Electron. Colloquium Comput. Complex. TR25: Article TR25-187 (2025)