Ruibang Liu

Publication Activity (10 Years)

Years Active: 2023-2024
Publications (10 Years): 4

Top Topics

Generation Algorithm

Database Machine

Top Venues

Publications

Hao Chen, Minyu Chen, Ruibang Liu, Guoqiang Li
AC4: Algebraic Computation Checker for Circuit Constraints in ZKPs. CoRR (2024)
Minyu Chen, Guoqiang Li, Ling-I Wu, Ruibang Liu, Yuxin Su, Xi Chang, Jianxin Xue
Can Language Models Pretend Solvers? Logic Code Simulation with LLMs. CoRR (2024)
Chenhao Shi, Hao Chen, Ruibang Liu, Guoqiang Li
Data-Flow-Based Normalization Generation Algorithm of R1CS for Zero-Knowledge Proof. CoRR (2023)
Chenhao Shi, Hao Chen, Ruibang Liu, Guoqiang Li
Data-Flow-Based Normalization Generation Algorithm of R1CS for Zero-Knowledge Proof. PRDC (2023)