Ruibang Liu
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2023–2025
Best venue rank
C
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ICFEM | ZK-ProVer: Proving Programming Verification in Non-interactive Zero-Knowledge Proofs. | Haoyu Wei, Jingyu Ke, Ruibang Liu, Guoqiang Li |
| 2025 | NAACL | DCE-LLM: Dead Code Elimination with Large Language Models. | Minyu Chen, Guoqiang Li, Ling-I Wu, Ruibang Liu |
| 2024 | SETTA | 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 |
| 2023 | PRDC | Data-Flow-Based Normalization Generation Algorithm of R1CS for Zero-Knowledge Proof. | Chenhao Shi, Hao Chen, Ruibang Liu, Guoqiang Li |