Jiawei Li

According to our database, Jiawei Li authored at least 9 papers between 2021 and 2026.

Collaborative distances:

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

2026

Finding Bugs in Short Proofs: The Metamathematics of Resolution Lower Bounds.

Jiawei Li, Yuhao Li, Hanlin Ren

Proceedings of the 58th Annual ACM Symposium on Theory of Computing, 2026

Total Search Problems in ZPP.

Noah Fleming, Stefan Grosser, Siddhartha Jain, Jiawei Li, Hanlin Ren, Morgan Shirley, Weiqiang Yuan

Proceedings of the 17th Innovations in Theoretical Computer Science Conference, 2026

2025

Quantum Communication Advantage in TFNP.

Mika Göös, Tom Gur, Siddhartha Jain, Jiawei Li

Proceedings of the 57th Annual ACM Symposium on Theory of Computing, 2025

2024

Metamathematics of Resolution Lower Bounds: A TFNP Perspective.

Jiawei Li, Yuhao Li, Hanlin Ren

Electron. Colloquium Comput. Complex., 2024

On Pigeonhole Principles and Ramsey in TFNP.

Siddhartha Jain, Jiawei Li, Robert Robere, Zhiyang Xun

Proceedings of the 65th IEEE Annual Symposium on Foundations of Computer Science, 2024

2023

Pandora Box Problem with Nonobligatory Inspection: Hardness and Approximation Scheme.

Hu Fu, Jiawei Li, Daogao Liu

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

2022

Pandora Box Problem with Nonobligatory Inspection: Hardness and Improved Approximation Algorithms.

Hu Fu, Jiawei Li, Daogao Liu

CoRR, 2022

The Query Complexity of Local Search and Brouwer in Rounds.

Simina Brânzei, Jiawei Li

Proceedings of the Conference on Learning Theory, 2-5 July 2022, London, UK., 2022

2021

On the Approximation of Nash Equilibria in Sparse Win-Lose Multi-player Games.

Zhengyang Liu, Jiawei Li, Xiaotie Deng

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021