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

Kunhang Lv
DBLP profile ↗ORCID search ↗
×1
Fuqi Jia
DBLP profile ↗ORCID search ↗
×1
Chenjian Gao
DBLP profile ↗ORCID search ↗
×1
Yingmao Miao
DBLP profile ↗ORCID search ↗
×1

Papers

  1. LLM-Guided Quantified SMT Solving over Uninterpreted Functions
    AAAI 2026 ·
    Kunhang Lv
    DBLP profile ↗ORCID search ↗
  2. A Complete Algorithm for Optimization Modulo Nonlinear Real Arithmetic
    AAAI 2025 ·
    Fuqi Jia
    DBLP profile ↗ORCID search ↗
  3. From Gallery to Wrist: Realistic 3D Bracelet Insertion in Videos
    ICCV 2025 ·
    Chenjian Gao
    DBLP profile ↗ORCID search ↗
  4. Shining Yourself: High-Fidelity Ornaments Virtual Try-on with Diffusion Model
    CVPR 2025 ·
    Yingmao Miao
    DBLP profile ↗ORCID search ↗