Ruibang Liu

According to our database, Ruibang Liu authored at least 8 papers between 2023 and 2026.

Collaborative distances:

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

2026

Optimization of Farkas' Lemma-based linear invariant generation using divide-and-conquer with pruning.

Ruibang Liu, Hongming Liu, Guoqiang Li

Sci. Comput. Program., 2026

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

DCE-LLM: Dead Code Elimination with Large Language Models.

Minyu Chen, Guoqiang Li, Ling-I Wu, Ruibang Liu

Proceedings of the 2025 Conference of the Nations of the Americas Chapter of the Association for Computational Linguistics: Human Language Technologies, 2025

2024

RNA: R1CS Normalization Algorithm Based on Data Flow Graphs for Zero-Knowledge Proofs.

Chenhao Shi, Ruibang Liu, Hao Chen, Guoqiang Li, Sinka Gao

Formal Aspects Comput., December, 2024

Enhancing Automated Loop Invariant Generation for Complex Programs with Large Language Models.

Ruibang Liu, Guoqiang Li, Minyu Chen, Ling-I Wu, Jingyu Ke

CoRR, 2024

AC4: Algebraic Computation Checker for Circuit Constraints in ZKPs.

Hao Chen, Minyu Chen, Ruibang Liu, Guoqiang Li

CoRR, 2024

Can Language Models Pretend Solvers? Logic Code Simulation with LLMs.

Minyu Chen, Guoqiang Li, Ling-I Wu, Ruibang Liu, Yuxin Su, Xi Chang, Jianxin Xue

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2024

2023

Data-Flow-Based Normalization Generation Algorithm of R1CS for Zero-Knowledge Proof.

Chenhao Shi, Hao Chen, Ruibang Liu, Guoqiang Li

Proceedings of the 28th IEEE Pacific Rim International Symposium on Dependable Computing, 2023