PPaperPicks

Wang-Zhou Dai

8 papers at tracked venues · 5 at CORE A* · active 2024–2025

Venues

Frequent coauthors

Wen-Chao Hu
×3
Yuan Jiang
×3
Zhi-Hua Zhou
×3
Jie-Jing Shao
×2
Yufeng Li
×2
Yu-Xuan Huang
×2
Zilong Wang
×1
Jiongda Wang
×1
Xiaoyong Chen
×1
Meng Wang
×1
Ming Ma
×1
Zhipeng Wang
×1

Papers

  1. Efficient Rectification of Neuro-Symbolic Reasoning Inconsistencies by Abductive Reflection
    AAAI 2025 ·
    Wen-Chao Hu
    , Wang-Zhou Dai,
    Yuan Jiang
    ,
    Zhi-Hua Zhou
  2. Efficient Rectification of Neuro-Symbolic Reasoning Inconsistencies by Abductive Reflection (Extended Abstract)
    IJCAI 2025 ·
    Wen-Chao Hu
    , Wang-Zhou Dai,
    Yuan Jiang
    ,
    Zhi-Hua Zhou
  3. From End-to-end to Step-by-step: Learning to Abstract via Abductive Reinforcement Learning
    IJCAI 2025 ·
    Zilong Wang
    ,
    Jiongda Wang
    ,
    Xiaoyong Chen
    ,
    Meng Wang
    ,
    Ming Ma
    ,
    Zhipeng Wang
    ,
    Zhenyu Zhou
    ,
    Tianming Yang
    , Wang-Zhou Dai
  4. Generating by Understanding: Neural Visual Generation with Logical Symbol Groundings
    SIGKDD 2025 ·
    Yifei Peng
    ,
    Zijie Zha
    ,
    Yu Jin
    ,
    Zhexu Luo
    , Wang-Zhou Dai,
    Zhong Ren
    ,
    Yao-Xiang Ding
    ,
    Kun Zhou
  5. Neuro-Symbolic Artificial Intelligence: Towards Improving the Reasoning Abilities of Large Language Models
    IJCAI 2025 ·
    Xiao-Wen Yang
    ,
    Jie-Jing Shao
    ,
    Lan-Zhe Guo
    ,
    Bo-Wen Zhang
    ,
    Zhi Zhou
    ,
    Lin-Han Jia
    , Wang-Zhou Dai,
    Yufeng Li
  6. Deciphering Raw Data in Neuro-Symbolic Learning with Provable Guarantees
    AAAI 2024 ·
    Lue Tao
    ,
    Yu-Xuan Huang
    , Wang-Zhou Dai,
    Yuan Jiang
  7. Knowledge-Enhanced Historical Document Segmentation and Recognition
    AAAI 2024 ·
    En-Hao Gao
    ,
    Yu-Xuan Huang
    ,
    Wen-Chao Hu
    ,
    Xin-Hao Zhu
    , Wang-Zhou Dai
  8. Safe Abductive Learning in the Presence of Inaccurate Rules
    AAAI 2024 ·
    Xiaowen Yang
    ,
    Jie-Jing Shao
    ,
    Wei-Wei Tu
    ,
    Yufeng Li
    , Wang-Zhou Dai,
    Zhi-Hua Zhou