Ruibang Liu

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

Collaborative distances:

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

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