PPaperPicks

Bozhi Wu

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

DBLP profile ↗ORCID search ↗

Venues

AAAI ×1ACL ×1FM ×1ICLR ×1ICML ×1ISSTA ×1

Frequent coauthors

Zhiming Li
×4
Yushi Cao
×4
Yon Shin Teo
×3
Shang-Wei Lin
×3
Junzhe Jiang
×3
Yang Liu
×3
Zi Pong Lim
×2
Aixin Cui
×2
Bo Li
×2
Jianzhu Bao
×1
Haozhen Zhang
×1
Kuicai Dong
×1

Papers

  1. Learning More from Less: Exploiting Counterfactuals for Data-Efficient Chart Understanding
    ACL 2026 ·
    Jianzhu Bao
    ,
    Haozhen Zhang
    ,
    Kuicai Dong
    , Bozhi Wu,
    Sarthak Ketanbhai Modi
    ,
    Zi Pong Lim
    ,
    Yon Shin Teo
    ,
    Wenya Wang
  2. Shift-Left Requirements Verification: Integrating LLMs and Formal Methods for Automotive Systems
    FM 2026 ·
    Zi Pong Lim
    , Bozhi Wu,
    Yon Shin Teo
    ,
    Shang-Wei Lin
    ,
    Yi Li
  3. Enhancing Vulnerability Detection via Inter-procedural Semantic Completion
    ISSTA 2025 · Bozhi Wu,
    Chengjie Liu
    ,
    Zhiming Li
    ,
    Yushi Cao
    ,
    Jun Sun
    ,
    Shangwei Lin
  4. Logic-Q: Improving Deep Reinforcement Learning-based Quantitative Trading via Program Sketch-based Tuning
    AAAI 2025 ·
    Zhiming Li
    ,
    Junzhe Jiang
    ,
    Yushi Cao
    ,
    Aixin Cui
    , Bozhi Wu,
    Bo Li
    ,
    Yang Liu
    ,
    Danny Dongning Sun
  5. Improving Neural Logic Machines via Failure Reflection
    ICML 2024 ·
    Zhiming Li
    ,
    Yushi Cao
    ,
    Yan Zheng
    ,
    Xu Liu
    , Bozhi Wu,
    Tianlin Li
    ,
    Xiufeng Xu
    ,
    Junzhe Jiang
    ,
    Yon Shin Teo
    ,
    Shang-Wei Lin
    ,
    Yang Liu
  6. Logic-guided Deep Reinforcement Learning for Stock Trading
    ICLR 2024 ·
    Zhiming Li
    ,
    Junzhe Jiang
    ,
    Yushi Cao
    ,
    Aixin Cui
    , Bozhi Wu,
    Bo Li
    ,
    Yang Liu