Data-Flow-Based Normalization Generation Algorithm of R1CS for Zero-Knowledge Proof. - Chenhao Shi; Hao Chen; Ruibang Liu; Guoqiang Li 001 (PRDC, 2023)

Can Language Models Pretend Solvers? Logic Code Simulation with LLMs. - Minyu Chen; Guoqiang Li 001; Ling-I Wu; Ruibang Liu; Yuxin Su 005; Xi Chang; Jianxin Xue (SETTA, 2024)

AC4: Algebraic Computation Checker for Circuit Constraints in ZKPs. - Hao Chen; Minyu Chen; Ruibang Liu; Guoqiang Li 001 (CoRR, 2024)

Enhancing Automated Loop Invariant Generation for Complex Programs with Large Language Models. - Ruibang Liu; Guoqiang Li 001; Minyu Chen; Ling-I Wu; Jingyu Ke (CoRR, 2024)

RNA: R1CS Normalization Algorithm Based on Data Flow Graphs for Zero-Knowledge Proofs. - Chenhao Shi; Ruibang Liu; Hao Chen; Guoqiang Li 001; Sinka Gao (Formal Aspects Comput., 2024)

DCE-LLM: Dead Code Elimination with Large Language Models. - Minyu Chen; Guoqiang Li 001; Ling-I Wu; Ruibang Liu (NAACL (Long Papers), 2025)

ZK-ProVer: Proving Programming Verification in Non-Interactive Zero-Knowledge Proofs. - Haoyu Wei; Jingyu Ke; Ruibang Liu; Guoqiang Li (IACR Cryptol. ePrint Arch., 2025)

Optimization of Farkas' Lemma-based linear invariant generation using divide-and-conquer with pruning. - Ruibang Liu; Hongming Liu; Guoqiang Li 001 (Sci. Comput. Program., 2026)