Wang-Zhou Dai

Venues

Frequent coauthors

Papers

1. Efficient Rectification of Neuro-Symbolic Reasoning Inconsistencies by Abductive Reflection
   AAAI 2025 ·

   Wen-Chao Hu

   DBLP profile ↗ORCID search ↗
2. Efficient Rectification of Neuro-Symbolic Reasoning Inconsistencies by Abductive Reflection (Extended Abstract)
   IJCAI 2025 ·

   Wen-Chao Hu

   DBLP profile ↗ORCID search ↗
3. From End-to-end to Step-by-step: Learning to Abstract via Abductive Reinforcement Learning
   IJCAI 2025 ·

   Zilong Wang

   DBLP profile ↗ORCID search ↗
4. Generating by Understanding: Neural Visual Generation with Logical Symbol Groundings
   SIGKDD 2025 ·

   Yifei Peng

   DBLP profile ↗ORCID search ↗
5. Neuro-Symbolic Artificial Intelligence: Towards Improving the Reasoning Abilities of Large Language Models
   IJCAI 2025 ·

   Xiao-Wen Yang

   DBLP profile ↗ORCID search ↗
6. Deciphering Raw Data in Neuro-Symbolic Learning with Provable Guarantees
   AAAI 2024 ·

   Lue Tao

   DBLP profile ↗ORCID search ↗
7. Knowledge-Enhanced Historical Document Segmentation and Recognition
   AAAI 2024 ·

   En-Hao Gao

   DBLP profile ↗ORCID search ↗
8. Safe Abductive Learning in the Presence of Inaccurate Rules
   AAAI 2024 ·

   Xiaowen Yang

   DBLP profile ↗ORCID search ↗