Guoqiang Li

A new algorithm streamlines R1CS representation for enhanced ZKP clarity and efficiency.

2025-09-29T05:35:18+00:00 ― 7 min read

A new tool enhances the integrity of zero-knowledge proof systems.

2025-08-26T22:46:00+00:00 ― 5 min read

This article investigates how large language models simulate logic codes effectively.

2025-08-26T06:26:24+00:00 ― 7 min read

Study explores AI's role in optimizing plasma stability through effective magnetic field predictions.

2025-08-17T14:19:06+00:00 ― 5 min read

Discover ACInv, a tool revolutionizing loop invariant generation for complex programming.

2025-03-12T14:26:42+00:00 ― 6 min read