Wang-Zhou Dai

41 papers A* 15B 1C 1Journal 18Unranked 4
YearRankTypeTitle / Venue / Authors
2026 — ed.
Learning and Reasoning - 4th International Joint Conference on Learning and Reasoning, IJCLR 2024, and 33rd International Conference on Inductive Logic Programming, ILP 2024, Nanjing, China, September 20-22, 2024, Proceedings
IJCLR
Wang-Zhou Dai
2026 J jnl
OrigamiBench: An Interactive Environment to Synthesize Flat-Foldable Origamis.
CoRR
Naaisha Agarwal, Yihan Wu, Yichang Jian, Yikuan Hu, Nishad Mansoor, Mohan Li, Yifei Peng, Wang-Zhou Dai, Yao-Xiang Ding, Emanuele Sansone
2026 J jnl
Procedural Refinement by LLM-driven Algorithmic Debugging for ARC-AGI-2.
CoRR
Yu-Ning Qiu, Lin-Feng Zou, Jiong-Da Wang, Xue-Rong Yuan, Wang-Zhou Dai
2025 J jnl
ABounD: Adversarial Boundary-Driven Few-Shot Learning for Multi-Class Anomaly Detection.
CoRR
Runzhi Deng, Yundi Hu, Xinshuang Zhang, Zhao Wang, Xixi Liu, Wang-Zhou Dai, Caifeng Shan, Fang Zhao
2025 J jnl
Abductive Logical Rule Induction by Bridging Inductive Logic Programming and Multimodal Large Language Models.
CoRR
Yifei Peng, Yaoli Liu, Enbo Xia, Yu Jin, Wang-Zhou Dai, Zhong Ren, Yao-Xiang Ding, Kun Zhou
2025 A* conf
Efficient Rectification of Neuro-Symbolic Reasoning Inconsistencies by Abductive Reflection (Extended Abstract).
IJCAI
Wen-Chao Hu, Wang-Zhou Dai, Yuan Jiang, Zhi-Hua Zhou
2025 A* conf
Efficient Rectification of Neuro-Symbolic Reasoning Inconsistencies by Abductive Reflection.
AAAI
Wen-Chao Hu, Wang-Zhou Dai, Yuan Jiang, Zhi-Hua Zhou
2025 A* conf
From End-to-end to Step-by-step: Learning to Abstract via Abductive Reinforcement Learning.
IJCAI
Zilong Wang, Jiongda Wang, Xiaoyong Chen, Meng Wang, Ming Ma, Zhipeng Wang, Zhenyu Zhou, Tianming Yang, Wang-Zhou Dai
2025 — conf
Generating by Understanding: Neural Visual Generation with Logical Symbol Groundings.
KDD (2)
Yifei Peng, Zijie Zha, Yu Jin, Zhexu Luo, Wang-Zhou Dai, Zhong Ren, Yao-Xiang Ding, Kun Zhou
2025 A* conf
Neuro-Symbolic Artificial Intelligence: Towards Improving the Reasoning Abilities of Large Language Models.
IJCAI
Xiao-Wen Yang, Jie-Jing Shao, Lan-Zhe Guo, Bo-Wen Zhang, Zhi Zhou, Lin-Han Jia, Wang-Zhou Dai, Yufeng Li
2025 J jnl
Neuro-Symbolic Artificial Intelligence: Towards Improving the Reasoning Abilities of Large Language Models.
CoRR
Xiao-Wen Yang, Jie-Jing Shao, Lan-Zhe Guo, Bo-Wen Zhang, Zhi Zhou, Lin-Han Jia, Wang-Zhou Dai, Yufeng Li
2025 J jnl
Pre-Training Meta-Rule Selection Policy for Visual Generative Abductive Learning.
CoRR
Yu Jin, Jingming Liu, Zhexu Luo, Yifei Peng, Ziang Qin, Wang-Zhou Dai, Yao-Xiang Ding, Kun Zhou
2024 A* conf
Deciphering Raw Data in Neuro-Symbolic Learning with Provable Guarantees.
AAAI
Lue Tao, Yu-Xuan Huang, Wang-Zhou Dai, Yuan Jiang
2024 J jnl
Efficient Rectification of Neuro-Symbolic Reasoning Inconsistencies by Abductive Reflection.
CoRR
Wen-Chao Hu, Wang-Zhou Dai, Yuan Jiang, Zhi-Hua Zhou
2024 A* conf
Knowledge-Enhanced Historical Document Segmentation and Recognition.
AAAI
En-Hao Gao, Yu-Xuan Huang, Wen-Chao Hu, Xin-Hao Zhu, Wang-Zhou Dai
2024 — conf
Pre-Training Meta-Rule Selection Policy for Visual Generative Abductive Learning.
IJCLR
Yu Jin, Jingming Liu, Zhexu Luo, Yifei Peng, Ziang Qin, Wang-Zhou Dai, Yao-Xiang Ding, Kun Zhou
2024 J jnl
Reduced implication-bias logic loss for neuro-symbolic learning.
Mach. Learn.
Hao-Yuan He, Wang-Zhou Dai, Ming Li
2024 A* conf
Safe Abductive Learning in the Presence of Inaccurate Rules.
AAAI
Xiaowen Yang, Jie-Jing Shao, Wei-Wei Tu, Yufeng Li, Wang-Zhou Dai, Zhi-Hua Zhou
2023 J jnl
Abductive subconcept learning.
Sci. China Inf. Sci.
Zhongyi Han, Le-Wen Cai, Wang-Zhou Dai, Yu-Xuan Huang, Benzheng Wei, Wei Wang, Yilong Yin
2023 J jnl
Deciphering Raw Data in Neuro-Symbolic Learning with Provable Guarantees.
CoRR
Lue Tao, Yu-Xuan Huang, Wang-Zhou Dai, Yuan Jiang
2023 A* conf
Enabling Abductive Learning to Exploit Knowledge Graph.
IJCAI
Yu-Xuan Huang, Zequn Sun, Guangyao Li, Xiaobin Tian, Wang-Zhou Dai, Wei Hu, Yuan Jiang, Zhi-Hua Zhou
2023 A* conf
Enabling Knowledge Refinement upon New Concepts in Abductive Learning.
AAAI
Yu-Xuan Huang, Wang-Zhou Dai, Yuan Jiang, Zhi-Hua Zhou
2023 J jnl
Generating by Understanding: Neural Visual Generation with Logical Symbol Groundings.
CoRR
Yifei Peng, Yu Jin, Zhexu Luo, Yao-Xiang Ding, Wang-Zhou Dai, Zhong Ren, Kun Zhou
2023 J jnl
Human Comprehensible Active Learning of Genome-Scale Metabolic Networks.
CoRR
Lun Ai, Shi-Shun Liang, Wang-Zhou Dai, Liam Hallett, Stephen H. Muggleton, Geoff S. Baldwin
2022 — ch.
Human-like Computer Vision.
Human-Like Machine Intelligence
Stephen H. Muggleton, Wang-Zhou Dai
2022 J jnl
Reduced Implication-bias Logic Loss for Neuro-Symbolic Learning.
CoRR
Haoyuan He, Wang-Zhou Dai, Ming Li, Yu Liu, Yongchang Ma
2021 A* conf
Abductive Knowledge Induction from Raw Data.
IJCAI
Wang-Zhou Dai, Stephen H. Muggleton
2021 A* conf
Abductive Learning with Ground Knowledge Base.
IJCAI
Le-Wen Cai, Wang-Zhou Dai, Yu-Xuan Huang, Yufeng Li, Stephen H. Muggleton, Yuan Jiang
2021 J jnl
Automated Biodesign Engineering by Abductive Meta-Interpretive Learning.
CoRR
Wang-Zhou Dai, Liam Hallett, Stephen H. Muggleton, Geoff S. Baldwin
2021 A* conf
Fast Abductive Learning by Similarity-based Consistency Optimization.
NeurIPS
Yu-Xuan Huang, Wang-Zhou Dai, Le-Wen Cai, Stephen H. Muggleton, Yuan Jiang
2020 J jnl
Abductive Knowledge Induction From Raw Data.
CoRR
Wang-Zhou Dai, Stephen H. Muggleton
2020 A* conf
Semi-Supervised Abductive Learning and Its Application to Theft Judicial Sentencing.
ICDM
Yu-Xuan Huang, Wang-Zhou Dai, Jian Yang, Le-Wen Cai, Shaofen Cheng, Ruizhang Huang, Yufeng Li, Zhi-Hua Zhou
2019 A* conf
Bridging Machine Learning and Logical Reasoning by Abductive Learning.
NeurIPS
Wang-Zhou Dai, Qiu-Ling Xu, Yang Yu, Zhi-Hua Zhou
2018 J jnl
Meta-Interpretive Learning from noisy images.
Mach. Learn.
Stephen H. Muggleton, Wang-Zhou Dai, Claude Sammut, Alireza Tamaddoni-Nezhad, Jing Wen, Zhi-Hua Zhou
2018 J jnl
Tunneling Neural Perception and Logic Reasoning through Abductive Learning.
CoRR
Wang-Zhou Dai, Qiu-Ling Xu, Yang Yu, Zhi-Hua Zhou
2017 A* conf
Combining Logical Abduction and Statistical Induction: Discovering Written Primitives with Human Knowledge.
AAAI
Wang-Zhou Dai, Zhi-Hua Zhou
2017 B conf
Logical Vision: One-Shot Meta-Interpretive Learning from Real Images.
ILP
Wang-Zhou Dai, Stephen H. Muggleton, Jing Wen, Alireza Tamaddoni-Nezhad, Zhi-Hua Zhou
2015 — conf
Logical Vision: Meta-Interpretive Learning for Simple Geometrical Concepts.
ILP (Late Breaking Papers)
Wang-Zhou Dai, Stephen H. Muggleton, Zhi-Hua Zhou
2015 C conf
Statistical Unfolded Logic Learning.
ACML
Wang-Zhou Dai, Zhi-Hua Zhou
2014 J jnl
Inductive Logic Boosting.
CoRR
Wang-Zhou Dai, Zhi-Hua Zhou
2011 — conf
Lifted-Rollout for Approximate Policy Iteration of Markov Decision Process.
ICDM Workshops
Wang-Zhou Dai, Yang Yu, Zhi-Hua Zhou