Jiaqi Lu

According to our database, Jiaqi Lu authored at least 3 papers between 2025 and 2026.

Collaborative distances:

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

2026

Lower Bounds against the Ideal Proof System in Finite Fields.

Tal Elbaz, Nashlen Govindasamy, Jiaqi Lu, Iddo Tzameret

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

AC⁰[p]-Frege Cannot Efficiently Prove That Constant-Depth Algebraic Circuit Lower Bounds Are Hard.

Jiaqi Lu, Rahul Santhanam, Iddo Tzameret

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

2025

AC⁰[p]-Frege Cannot Efficiently Prove that Constant-Depth Algebraic Circuit Lower Bounds are Hard.

Jiaqi Lu, Rahul Santhanam, Iddo Tzameret

Electron. Colloquium Comput. Complex., 2025