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

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

CoRR, 2024

AC4: Algebraic Computation Checker for Circuit Constraints in ZKPs.

Hao Chen, Minyu Chen, Ruibang Liu, Guoqiang Li

CoRR, 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