The 18th Asian Conference on Machine Learning

Neuro-Symbolic Machine Learning:
Foundations and Recent Advances

1 December 2026

Melbourne, Australia

01

About the Workshop

The latest wave of AI including large language models, multimodal foundation models, and agent-based systems, has made machine learning far more capable, but it has also exposed persistent weaknesses. Neural models can be powerful predictors and generators, yet they often struggle with logical consistency, verifiable reasoning, controllable behavior, transparent decision processes, and robust long-horizon planning. Neuro-symbolic machine learning offers a principled route to these challenges by coupling neural representation learning with symbolic knowledge, rules, programs, and reasoning procedures.

NeSyML 2026 will bring together researchers who study the principles, algorithms, and applications of this integration. The program will revisit classical neuro-symbolic paradigms, including abductive learning, differentiable reasoning, semantic and logical constraints, verification-oriented learning, and programmatic knowledge induction. It will also examine how these ideas are being reshaped by modern foundation models.

A central goal of the workshop is to discuss how symbolic structures can make large models more reliable, explainable, and generalizable. Topics will include theoretical foundations, faithful multimodal understanding and generation, agentic systems, planning and decision making, etc. By situating these questions within the ACML community, the workshop will create a timely venue for exchanging ideas across machine learning, symbolic reasoning, trustworthy AI, multimodal learning, and intelligent agents.

02

Topics

  • Core principles, taxonomies, and learning paradigms for neuro-symbolic machine learning.
  • Abductive learning, inductive logic programming, program synthesis, and learning with symbolic knowledge.
  • Differentiable logic, semantic constraints, verifier-guided learning, and logic-aware neural training.
  • Neuro-symbolic methods for LLM reasoning, mathematical reasoning, tool use, and structured planning.
  • Symbolic intermediate representations for visual reasoning, multimodal grounding, faithful generation, and controllable synthesis.
  • Neuro-symbolic agents, environment construction, skill induction, long-horizon planning, embodied intelligence, and world models.
  • Benchmarks, evaluation protocols, interpretability, reliability, safety, and deployment issues for neuro-symbolic systems.
  • Applications in NLP, computer vision, multimodal AI, robotics, education, scientific discovery, and trustworthy decision-making.

04

Program Schedule

Half-day workshop

  1. Opening remarks
  2. Invited Talk 1
  3. Invited Talk 2
  4. Coffee break and informal discussion
  5. Invited Talk 3
  6. Invited Talk 4
  7. Panel discussion
  8. Closing remarks

05

Organizers

Portrait of Wang-Zhou Dai

Wang-Zhou Dai

National Key Laboratory for Novel Software Technology
Nanjing University

Personal website
Portrait of Lan-Zhe Guo

Lan-Zhe Guo

National Key Laboratory for Novel Software Technology
Nanjing University

Personal website
Portrait of Haoxuan Li

Haoxuan Li

National Engineering Laboratory for Big Data Analysis and Applications
Peking University

Personal website

06

Contact

Yao-Xiang Ding

State Key Laboratory of CAD&CG, Zhejiang University