PPaperPicks

Yuhang Dong

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

DBLP profile ↗ORCID search ↗

Venues

AAAI ×3ACM MM ×1IROS ×1

Frequent coauthors

Kunhang Lv
DBLP profile ↗ORCID search ↗
×1
Fuqi Jia
DBLP profile ↗ORCID search ↗
×1
Yufei Jia
DBLP profile ↗ORCID search ↗
×1
Jingjia Huang
DBLP profile ↗ORCID search ↗
×1
Huangxing Lin
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. DISCOVERSE: Efficient Robot Simulation in Complex High-Fidelity Environments
    IROS 2025 ·
    Yufei Jia
    DBLP profile ↗ORCID search ↗
  4. Efficient Perceiving Local Details via Adaptive Spatial-Frequency Information Integration for Multi-focus Image Fusion
    ACM MM 2024 ·
    Jingjia Huang
    DBLP profile ↗ORCID search ↗
  5. Unsupervised Pan-Sharpening via Mutually Guided Detail Restoration
    AAAI 2024 ·
    Huangxing Lin
    DBLP profile ↗ORCID search ↗