PPaperPicks

Jinwoo Kim

12 papers at tracked venues · 7 at CORE A* · active 2024–2026

DBLP profile ↗ORCID search ↗

Venues

NeurIPS ×2OOPSLA ×2POPL ×2AAAI ×1CIKM ×1ECCV ×1ICCV ×1ICLR ×1UAI ×1

Frequent coauthors

Seunghoon Hong
×4
Loris D'Antoni
×3
Thomas W. Reps
×3
Sangho An
×2
Jangho Kim
×2
Kyounghwan An
×2
Donghwan Lee
×2
Shaan Nagy
×2
Sungjun Cho
×1
Dae-Woong Jeong
×1
Sung Moon Ko
×1
Sehui Han
×1

Papers

  1. Corrigendum: Unrealizability Logic
    POPL 2026 · Jinwoo Kim,
    Loris D'Antoni
    ,
    Thomas Reps
  2. 3D Denoisers Are Good 2D Teachers: Molecular Pretraining via Denoising and Cross-Modal Distillation
    AAAI 2025 ·
    Sungjun Cho
    ,
    Dae-Woong Jeong
    ,
    Sung Moon Ko
    , Jinwoo Kim,
    Sehui Han
    ,
    Seunghoon Hong
    ,
    Honglak Lee
    ,
    Moontae Lee
  3. Archmage and CompCertCast: End-to-End Verification Supporting Integer-Pointer Casting
    POPL 2025 ·
    Yonghyun Kim
    ,
    Minki Cho
    ,
    Jaehyung Lee
    , Jinwoo Kim,
    Taeyoung Yoon
    ,
    Youngju Song
    ,
    Chung-Kil Hur
  4. Exploring Diverse Sparse Network Structures via Dynamic Pruning with Weight Alignment
    CIKM 2025 · Jinwoo Kim,
    Jongyun Shin
    ,
    Sangho An
    ,
    Jangho Kim
  5. Revisiting Random Walks for Learning on Graphs
    ICLR 2025 · Jinwoo Kim,
    Olga Zaghen
    ,
    Ayhan Suleymanzade
    ,
    Youngmin Ryou
    ,
    Seunghoon Hong
  6. SADWA: Fine-Grained Weather Awareness with Vision-Language Models for Seamless Autonomous Driving in Real Time
    ICCV 2025 · Jinwoo Kim,
    Hayeon O
    ,
    Youngmin Oh
    ,
    Kyounghwan An
    ,
    Donghwan Lee
  7. Semantics of Sets of Programs
    OOPSLA 2025 · Jinwoo Kim,
    Shaan Nagy
    ,
    Thomas Reps
    ,
    Loris D'Antoni
  8. Sequence Modeling with Spectral Mean Flows
    NeurIPS 2025 · Jinwoo Kim,
    Max Beier
    ,
    Petar Bevanda
    ,
    Nayun Kim
    ,
    Seunghoon Hong
  9. Sparse Structure Exploration and Re-optimization for Vision Transformer
    UAI 2025 ·
    Sangho An
    , Jinwoo Kim,
    Keonho Lee
    ,
    Jingang Huh
    ,
    Chanwoong Kwak
    ,
    Yujin Lee
    ,
    Moonsub Jin
    ,
    Jangho Kim
  10. Automating Unrealizability Logic: Hoare-Style Proof Synthesis for Infinite Sets of Programs
    OOPSLA 2024 ·
    Shaan Nagy
    , Jinwoo Kim,
    Thomas W. Reps
    ,
    Loris D'Antoni
  11. RoSA Dataset: Road Construct Zone Segmentation for Autonomous Driving
    ECCV 2024 · Jinwoo Kim,
    Kyounghwan An
    ,
    Donghwan Lee
  12. Simulation-Free Training of Neural ODEs on Paired Data
    NeurIPS 2024 ·
    Semin Kim
    ,
    Jaehoon Yoo
    , Jinwoo Kim,
    Yeonwoo Cha
    ,
    Saehoon Kim
    ,
    Seunghoon Hong