Jiatu Li

According to our database, Jiatu Li authored at least 11 papers between 2020 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2023

Unprovability of strong complexity lower bounds in bounded arithmetic.

Jiatu Li, Igor Carboni Oliveira

Electron. Colloquium Comput. Complex., 2023

Indistinguishability Obfuscation, Range Avoidance, and Bounded Arithmetic.

Rahul Ilango, Jiatu Li, Ryan Williams

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

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

Range Avoidance, Remote Point, and Hard Partial Truth Table via Satisfying-Pairs Algorithms.

Yeyuan Chen, Yizhi Huang, Jiatu Li, Hanlin Ren

Proceedings of the 55th Annual ACM Symposium on Theory of Computing, 2023

2022

Extremely Efficient Constructions of Hash Functions, with Applications to Hardness Magnification and PRFs.

Lijie Chen, Jiatu Li, Tianqi Yang

Electron. Colloquium Comput. Complex., 2022

3.1<i>n</i> - <i>o</i>(<i>n</i>) circuit lower bounds for explicit functions.

Jiatu Li, Tianqi Yang

Proceedings of the STOC '22: 54th Annual ACM SIGACT Symposium on Theory of Computing, Rome, Italy, June 20, 2022

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

Proceedings of the STOC '22: 54th Annual ACM SIGACT Symposium on Theory of Computing, Rome, Italy, June 20, 2022

2021

3.1n - o(n) Circuit Lower Bounds for Explicit Functions.

Jiatu Li, Tianqi Yang

Electron. Colloquium Comput. Complex., 2021

The Exact Complexity of Pseudorandom Functions and Tight Barriers to Lower Bound Proofs.

Zhiyuan Fan, Jiatu Li, Tianqi Yang

Electron. Colloquium Comput. Complex., 2021

2020

Formalization of PAL·S5 in Proof Assistant.

Jiatu Li

CoRR, 2020