Jiatu Li

36 papers A* 10A 2Journal 24
YearRankTypeTitle / Venue / Authors
2026 J jnl
A Theory for Probabilistic Polynomial-Time Reasoning.
CoRR
Lijie Chen, Jiatu Li, Igor C. Oliveira, Ryan Williams
2026 J jnl
A Theory for Probabilistic Polynomial-Time Reasoning.
Electron. Colloquium Comput. Complex.
Lijie Chen, Jiatu Li, Igor C. Oliveira, Ryan Williams
2026 A conf
Identity Testing for Circuits with Exponentiation Gates.
ITCS
Jiatu Li, Mengdi Wu
2025 J jnl
An Introduction to Feasible Mathematics and Bounded Arithmetic for Computer Scientists.
Electron. Colloquium Comput. Complex.
Jiatu Li
2025 J jnl
Diffusion Generative Models Meet Compressed Sensing, with Applications to Imaging and Finance.
CoRR
Zhengyi Guo, Jiatu Li, Wenpin Tang, David D. Yao
2025 J jnl
Identity Testing for Circuits with Exponentiation Gates.
CoRR
Jiatu Li, Mengdi Wu
2025 A* conf
Maximum Circuit Lower Bounds for Exponential-Time Arthur Merlin.
STOC
Lijie Chen, Jiatu Li, Jingxun Liang
2025 J jnl
On the Time Complexity of Feasible Proofs.
Electron. Colloquium Comput. Complex.
Jiatu Li
2025 J jnl
On the Unprovability of Circuit Size Bounds in Intuitionistic $\mathsf{S}^1_2$.
Log. Methods Comput. Sci.
Lijie Chen, Jiatu Li, Igor C. Oliveira
2025 A* conf
The Structure of Catalytic Space: Capturing Randomness and Time via Compression.
STOC
James Cook, Jiatu Li, Ian Mertz, Edward Pyne
2024 A* conf
Distinguishing, Predicting, and Certifying: On the Long Reach of Partial Notions of Pseudorandomness.
FOCS
Jiatu Li, Edward Pyne, Roei Tell
2024 J jnl
Distinguishing, Predicting, and Certifying: On the Long Reach of Partial Notions of Pseudorandomness.
Electron. Colloquium Comput. Complex.
Jiatu Li, Edward Pyne, Roei Tell
2024 A* conf
Hardness of Range Avoidance and Remote Point for Restricted Circuits via Cryptography.
STOC
Yilei Chen, Jiatu Li
2024 J jnl
Maximum Circuit Lower Bounds for Exponential-time Arthur Merlin.
Electron. Colloquium Comput. Complex.
Lijie Chen, Jiatu Li, Jingxun Liang
2024 J jnl
On the Unprovability of Circuit Size Bounds in Intuitionistic S
CoRR
Lijie Chen, Jiatu Li, Igor C. Oliveira
2024 J jnl
On the Unprovability of Circuit Size Bounds in Intuitionistic S
Electron. Colloquium Comput. Complex.
Lijie Chen, Jiatu Li, Igor Carboni Oliveira
2024 A* conf
Reverse Mathematics of Complexity Lower Bounds.
FOCS
Lijie Chen, Jiatu Li, Igor C. Oliveira
2024 J jnl
Reverse Mathematics of Complexity Lower Bounds.
Electron. Colloquium Comput. Complex.
Lijie Chen, Jiatu Li, Igor Carboni Oliveira
2024 J jnl
The Structure of Catalytic Space: Capturing Randomness and Time via Compression.
Electron. Colloquium Comput. Complex.
James Cook, Jiatu Li, Ian Mertz, Edward Pyne
2023 J jnl
Hardness of Range Avoidance and Remote Point for Restricted Circuits via Cryptography.
Electron. Colloquium Comput. Complex.
Yilei Chen, Jiatu Li
2023 J jnl
Hardness of Range Avoidance and Remote Point for Restricted Circuits via Cryptography.
IACR Cryptol. ePrint Arch.
Yilei Chen, Jiatu Li
2023 A* conf
Indistinguishability Obfuscation, Range Avoidance, and Bounded Arithmetic.
STOC
Rahul Ilango, Jiatu Li, R. Ryan Williams
2023 J jnl
Indistinguishability Obfuscation, Range Avoidance, and Bounded Arithmetic.
Electron. Colloquium Comput. Complex.
Rahul Ilango, Jiatu Li, Ryan Williams
2023 A* conf
Range Avoidance, Remote Point, and Hard Partial Truth Table via Satisfying-Pairs Algorithms.
STOC
Yeyuan Chen, Yizhi Huang, Jiatu Li, Hanlin Ren
2023 J jnl
Range Avoidance, Remote Point, and Hard Partial Truth Tables via Satisfying-Pairs Algorithms.
Electron. Colloquium Comput. Complex.
Yeyuan Chen, Yizhi Huang, Jiatu Li, Hanlin Ren
2023 A* conf
Unprovability of Strong Complexity Lower Bounds in Bounded Arithmetic.
STOC
Jiatu Li, Igor C. Oliveira
2023 J jnl
Unprovability of Strong Complexity Lower Bounds in Bounded Arithmetic.
CoRR
Jiatu Li, Igor Carboni Oliveira
2023 J jnl
Unprovability of strong complexity lower bounds in bounded arithmetic.
Electron. Colloquium Comput. Complex.
Jiatu Li, Igor Carboni Oliveira
2022 A* conf
3.1
STOC
Jiatu Li, Tianqi Yang
2022 A conf
Extremely Efficient Constructions of Hash Functions, with Applications to Hardness Magnification and PRFs.
CCC
Lijie Chen, Jiatu Li, Tianqi Yang
2022 J jnl
Extremely Efficient Constructions of Hash Functions, with Applications to Hardness Magnification and PRFs.
Electron. Colloquium Comput. Complex.
Lijie Chen, Jiatu Li, Tianqi Yang
2022 A* conf
The exact complexity of pseudorandom functions and the black-box natural proof barrier for bootstrapping results in computational complexity.
STOC
Zhiyuan Fan, Jiatu Li, Tianqi Yang
2021 J jnl
3.1n - o(n) Circuit Lower Bounds for Explicit Functions.
Electron. Colloquium Comput. Complex.
Jiatu Li, Tianqi Yang
2021 J jnl
The Exact Complexity of Pseudorandom Functions and Tight Barriers to Lower Bound Proofs.
Electron. Colloquium Comput. Complex.
Zhiyuan Fan, Jiatu Li, Tianqi Yang
2021 J jnl
The Exact Complexity of Pseudorandom Functions and Tight Barriers to Lower Bound Proofs.
IACR Cryptol. ePrint Arch.
Zhiyuan Fan, Jiatu Li, Tianqi Yang
2020 J jnl
Formalization of PAL·S5 in Proof Assistant.
CoRR
Jiatu Li