Formalization of PAL·S5 in Proof Assistant. - Jiatu Li (CoRR, 2020)

The Exact Complexity of Pseudorandom Functions and Tight Barriers to Lower Bound Proofs. - Zhiyuan Fan; Jiatu Li; Tianqi Yang 001 (Electron. Colloquium Comput. Complex., 2021)

3.1n - o(n) Circuit Lower Bounds for Explicit Functions. - Jiatu Li; Tianqi Yang 001 (Electron. Colloquium Comput. Complex., 2021)

The exact complexity of pseudorandom functions and the black-box natural proof barrier for bootstrapping results in computational complexity. - Zhiyuan Fan; Jiatu Li; Tianqi Yang 001 (STOC, 2022)

3.1n - o(n) circuit lower bounds for explicit functions. - Jiatu Li; Tianqi Yang 001 (STOC, 2022)

Extremely Efficient Constructions of Hash Functions, with Applications to Hardness Magnification and PRFs. - Lijie Chen 001; Jiatu Li; Tianqi Yang 001 (Electron. Colloquium Comput. Complex., 2022)

Range Avoidance, Remote Point, and Hard Partial Truth Table via Satisfying-Pairs Algorithms. - Yeyuan Chen; Yizhi Huang; Jiatu Li; Hanlin Ren (STOC, 2023)

Range Avoidance, Remote Point, and Hard Partial Truth Tables via Satisfying-Pairs Algorithms. - Yeyuan Chen; Yizhi Huang; Jiatu Li; Hanlin Ren (Electron. Colloquium Comput. Complex., 2023)

Hardness of Range Avoidance and Remote Point for Restricted Circuits via Cryptography. - Yilei Chen; Jiatu Li (Electron. Colloquium Comput. Complex., 2023)

Indistinguishability Obfuscation, Range Avoidance, and Bounded Arithmetic. - Rahul Ilango; Jiatu Li; Ryan Williams 001 (Electron. Colloquium Comput. Complex., 2023)

Unprovability of strong complexity lower bounds in bounded arithmetic. - Jiatu Li; Igor Carboni Oliveira (Electron. Colloquium Comput. Complex., 2023)

Maximum Circuit Lower Bounds for Exponential-time Arthur Merlin. - Lijie Chen 001; Jiatu Li; Jingxun Liang (Electron. Colloquium Comput. Complex., 2024)

Reverse Mathematics of Complexity Lower Bounds. - Lijie Chen 001; Jiatu Li; Igor Carboni Oliveira (Electron. Colloquium Comput. Complex., 2024)

On the Unprovability of Circuit Size Bounds in Intuitionistic S12. - Lijie Chen 001; Jiatu Li; Igor Carboni Oliveira (Electron. Colloquium Comput. Complex., 2024)

The Structure of Catalytic Space: Capturing Randomness and Time via Compression. - James Cook; Jiatu Li; Ian Mertz; Edward Pyne (Electron. Colloquium Comput. Complex., 2024)

Distinguishing, Predicting, and Certifying: On the Long Reach of Partial Notions of Pseudorandomness. - Jiatu Li; Edward Pyne; Roei Tell (Electron. Colloquium Comput. Complex., 2024)

An Introduction to Feasible Mathematics and Bounded Arithmetic for Computer Scientists. - Jiatu Li (Electron. Colloquium Comput. Complex., 2025)

Identity Testing for Circuits with Exponentiation Gates. - Jiatu Li; Mengdi Wu (CoRR, 2025)