PPaperPicks

Rui Han

4 papers at tracked venues · 4 at CORE A* · active 2025–2026

DBLP profile ↗ORCID search ↗

Venues

AAAI ×2CVPR ×1ICCV ×1

Frequent coauthors

Yuhang Dong
×2
Fuqi Jia
×2
Feifei Ma
×2
Jian Zhang
×2
Zhanpeng Huang
×2
Zibin Wang
×2
Kunhang Lv
×1
Pei Huang
×1
Minghao Liu
×1
Chenjian Gao
×1
Lihe Ding
×1
Tianfan Xue
×1

Papers

  1. LLM-Guided Quantified SMT Solving over Uninterpreted Functions
    AAAI 2026 ·
    Kunhang Lv
    ,
    Yuhang Dong
    , Rui Han,
    Fuqi Jia
    ,
    Feifei Ma
    ,
    Jian Zhang
  2. A Complete Algorithm for Optimization Modulo Nonlinear Real Arithmetic
    AAAI 2025 ·
    Fuqi Jia
    ,
    Yuhang Dong
    , Rui Han,
    Pei Huang
    ,
    Minghao Liu
    ,
    Feifei Ma
    ,
    Jian Zhang
  3. From Gallery to Wrist: Realistic 3D Bracelet Insertion in Videos
    ICCV 2025 ·
    Chenjian Gao
    ,
    Lihe Ding
    , Rui Han,
    Zhanpeng Huang
    ,
    Zibin Wang
    ,
    Tianfan Xue
  4. Shining Yourself: High-Fidelity Ornaments Virtual Try-on with Diffusion Model
    CVPR 2025 ·
    Yingmao Miao
    ,
    Zhanpeng Huang
    , Rui Han,
    Zibin Wang
    ,
    Chenhao Lin
    ,
    Chao Shen