Ruibang Liu

14 papers C 2Misc 1Journal 10Unranked 1
YearRankTypeTitle / Venue / Authors
2026 J jnl
Bridging Privacy and Utility: A Verifiable Framework for Data Valuation via Zero-Knowledge Proofs.
IACR Cryptol. ePrint Arch.
Ruibang Liu, Minyu Chen, Dengji Ma, Guoqiang Li
2026 J jnl
Enhancing automated loop invariant generation for complex programs with large language models.
Sci. Comput. Program.
Ruibang Liu, Minyu Chen, Ling-I Wu, Jingyu Ke, Guoqiang Li
2026 J jnl
Optimization of Farkas' Lemma-based linear invariant generation using divide-and-conquer with pruning.
Sci. Comput. Program.
Ruibang Liu, Hongming Liu, Guoqiang Li
2025 — conf
DCE-LLM: Dead Code Elimination with Large Language Models.
NAACL (Long Papers)
Minyu Chen, Guoqiang Li, Ling-I Wu, Ruibang Liu
2025 J jnl
DCE-LLM: Dead Code Elimination with Large Language Models.
CoRR
Minyu Chen, Guoqiang Li, Ling-I Wu, Ruibang Liu
2025 J jnl
ZK-ProVer: Proving Programming Verification in Non-Interactive Zero-Knowledge Proofs.
IACR Cryptol. ePrint Arch.
Haoyu Wei, Jingyu Ke, Ruibang Liu, Guoqiang Li
2025 C conf
ZK-ProVer: Proving Programming Verification in Non-interactive Zero-Knowledge Proofs.
ICFEM
Haoyu Wei, Jingyu Ke, Ruibang Liu, Guoqiang Li
2024 J jnl
AC4: Algebraic Computation Checker for Circuit Constraints in ZKPs.
CoRR
Hao Chen, Minyu Chen, Ruibang Liu, Guoqiang Li
2024 Misc conf
Can Language Models Pretend Solvers? Logic Code Simulation with LLMs.
SETTA
Minyu Chen, Guoqiang Li, Ling-I Wu, Ruibang Liu, Yuxin Su, Xi Chang, Jianxin Xue
2024 J jnl
Can Language Models Pretend Solvers? Logic Code Simulation with LLMs.
CoRR
Minyu Chen, Guoqiang Li, Ling-I Wu, Ruibang Liu, Yuxin Su, Xi Chang, Jianxin Xue
2024 J jnl
Enhancing Automated Loop Invariant Generation for Complex Programs with Large Language Models.
CoRR
Ruibang Liu, Guoqiang Li, Minyu Chen, Ling-I Wu, Jingyu Ke
2024 J jnl
RNA: R1CS Normalization Algorithm Based on Data Flow Graphs for Zero-Knowledge Proofs.
Formal Aspects Comput.
Chenhao Shi, Ruibang Liu, Hao Chen, Guoqiang Li, Sinka Gao
2023 C conf
Data-Flow-Based Normalization Generation Algorithm of R1CS for Zero-Knowledge Proof.
PRDC
Chenhao Shi, Hao Chen, Ruibang Liu, Guoqiang Li
2023 J jnl
Data-Flow-Based Normalization Generation Algorithm of R1CS for Zero-Knowledge Proof.
CoRR
Chenhao Shi, Hao Chen, Ruibang Liu, Guoqiang Li