Ruibang Liu

According to our database, Ruibang Liu authored at least 5 papers between 2023 and 2024.

Collaborative distances:

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

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