Wang-Zhou Dai
14 papers · 2015–2025 · 4 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+7 more ↓ Show less ↑
🌍 Conference Polyglot (4) 🏃 Academic Marathon (10) 🧭 Keyword Pioneer 🌉 Interdisciplinary Bridge 🐝 Cross-Pollinator (7)
🧭
Keyword Pioneer
🌍
Conference Polyglot
(4)
🏃
Academic Marathon
(10)
🏆
Keyword Champion
(2)
📈
Trend Setter
🗃️
Keyword Collector
(55)
💎
Century Club
(14)
Conferences
IJCAI (6)
AAAI (5)
NIPS (2)
ACML (1)
Top co-authors
Keywords
abductive learning
(10)
symbolic reasoning
(7)
neuro-symbolic learning
(5)
logical reasoning
(4)
first-order logic
(3)
neuro-symbolic ai
(3)
neuro-symbolic reasoning
(2)
logic rule
(2)
cognitive reflection
(2)
knowledge integration
(2)
weakly supervised learning
(2)
knowledge representation
(2)
inductive logic programming
(2)
abductive reasoning
(2)
domain knowledge
(2)
knowledge reasoning
(2)
knowledge base
(2)
predicate invention
(2)
knowledge graph
(2)
statistical relational learning
(1)
Papers
From End-to-end to Step-by-step: Learning to Abstract via Abductive Reinforcement Learning
IJCAI 2025
Efficient Rectification of Neuro-Symbolic Reasoning Inconsistencies by Abductive Reflection
AAAI 2025
Efficient Rectification of Neuro-Symbolic Reasoning Inconsistencies by Abductive Reflection (Extended Abstract)
IJCAI 2025
Neuro-Symbolic Artificial Intelligence: Towards Improving the Reasoning Abilities of Large Language Models
IJCAI 2025
Deciphering Raw Data in Neuro-Symbolic Learning with Provable Guarantees
AAAI 2024
Safe Abductive Learning in the Presence of Inaccurate Rules
AAAI 2024
Knowledge-Enhanced Historical Document Segmentation and Recognition
AAAI 2024
Enabling Abductive Learning to Exploit Knowledge Graph
IJCAI 2023
Enabling Knowledge Refinement upon New Concepts in Abductive Learning
AAAI 2023
Abductive Learning with Ground Knowledge Base
IJCAI 2021
Fast Abductive Learning by Similarity-based Consistency Optimization
NIPS 2021
Abductive Knowledge Induction from Raw Data
IJCAI 2021
Bridging Machine Learning and Logical Reasoning by Abductive Learning
NIPS 2019
Statistical Unfolded Logic Learning
ACML 2015