| 3.1n−o(n) circuit lower bounds for explicit functions J Li, T Yang Proceedings of the 54th Annual ACM SIGACT Symposium on Theory of Computing …, 2022 | 38 | 2022 |
| Indistinguishability obfuscation, range avoidance, and bounded arithmetic R Ilango, J Li, RR Williams Proceedings of the 55th Annual ACM Symposium on Theory of Computing, 1076-1089, 2023 | 24 | 2023 |
| Range avoidance, remote point, and hard partial truth table via satisfying-pairs algorithms Y Chen, Y Huang, J Li, H Ren Proceedings of the 55th Annual ACM Symposium on Theory of Computing, 1058-1066, 2023 | 12 | 2023 |
| Unprovability of strong complexity lower bounds in bounded arithmetic J Li, IC Oliveira Proceedings of the 55th Annual ACM Symposium on Theory of Computing, 1051-1057, 2023 | 9 | 2023 |
| The exact complexity of pseudorandom functions and the black-box natural proof barrier for bootstrapping results in computational complexity Z Fan, J Li, T Yang Proceedings of the 54th Annual ACM SIGACT Symposium on Theory of Computing …, 2022 | 9 | 2022 |
| Hardness of range avoidance and remote point for restricted circuits via cryptography Y Chen, J Li Proceedings of the 56th Annual ACM Symposium on Theory of Computing, 620-629, 2024 | 6 | 2024 |
| Reverse mathematics of complexity lower bounds L Chen, J Li, IC Oliveira 2024 IEEE 65th Annual Symposium on Foundations of Computer Science (FOCS …, 2024 | 5 | 2024 |
| Extremely efficient constructions of hash functions, with applications to hardness magnification and PRFs L Chen, J Li, T Yang 37th Computational Complexity Conference (CCC 2022), 23: 1-23: 37, 2022 | 3 | 2022 |
| Distinguishing, predicting, and certifying: On the long reach of partial notions of pseudorandomness J Li, E Pyne, R Tell 2024 IEEE 65th Annual Symposium on Foundations of Computer Science (FOCS), 1-13, 2024 | 1 | 2024 |
| On the Unprovability of Circuit Size Bounds in Intuitionistic L Chen, J Li, IC Oliveira arXiv preprint arXiv:2404.11841, 2024 | | 2024 |
| Formalization of PALS5 in Proof Assistant J Li arXiv preprint arXiv:2012.09388, 2020 | | 2020 |
Lijie ChenUC BerkeleyVerified email at berkeley.edu
