logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
Back
R

Ruibang Liu

shanghai jiao tong university

2H-index
13Paper Count
9Citation Count
Published Papers 2
Publication Date
logo
DCoL-A: Agentic dual chain of thinking helps LLMs pretend logic solvers
errJournal of Systems Architecture
IF4.1
err2026-05-23
err0
PREAI
errChen, Minyu; Wu, Ling-, I; Liu, Ruibang; Chang, Xi; Xue, Jianxin; Li, Guoqiang
errShare
errSave
ZK-ProVer: Proving Programming Verification in Non-interactive Zero-Knowledge Proofs
errFORMAL METHODS AND SOFTWARE ENGINEERING, ICFEM 2025
IF0
err2026-01-01
err0
PREAI
errWei, Haoyu; Ke, Jingyu; Liu, Ruibang; Li, Guoqiang
errShare
errSave

Research Directions

No research directions
Co-authors
Cooperation Journals
G
Guoqiang Li
H-index: 28 · Papers: 278
L
Ling-I Wu
H-index: 2 · Papers: 15
J
Jingyu Ke
H-index: 2 · Papers: 6
M
Minyu Chen
H-index: 0 · Papers: 2
X
Xi Chang
H-index: 0 · Papers: 2
View more