ΑΙhub.org
 

#AAAI2025 workshops round-up 3: Neural reasoning and mathematical discovery, and AI to accelerate science and engineering


by
19 May 2025



share this:

Images from the workshop on “Neural Reasoning and Mathematical Discovery – An Interdisciplinary Two-Way Street”.

In this series of articles, we’re publishing summaries with some of the key takeaways from a few of the workshops held at the 39th Annual AAAI Conference on Artificial Intelligence (AAAI 2025). In this third round-up article, we hear from the organisers of the workshops on:

  • Neural Reasoning and Mathematical Discovery – An Interdisciplinary Two-Way Street
  • AI to Accelerate Science and Engineering

Neural Reasoning and Mathematical Discovery – An Interdisciplinary Two-Way Street

By Tiansi Dong

Organisers: Challenger Mishra, Mateja Jamnik, Pietro Liò, Tiansi Dong.

Recent progress in Sphere Neural Networks demonstrates various possibilities for neural networks to achieve symbolic-level reasoning. This workshop aimed to reconsider various problems and discuss walk-round solutions in the two-way street commingling of neural networks and mathematics.

Some key takeaways from the workshop were as follows:

  • Black-box neural networks can be successfully used to automatically raise mathematical conjectures and identities and generate new geometries.
  • Irrelevant to the amount of training data, black-box neural networks cannot reach symbolic-level logical reasoning.
  • Interdisciplinary approaches, from philosophy and neuroscience to mathematical modelling and artificial neural networks, can be successfully applied to scientific research, such as “What is curiosity?”

AI to Accelerate Science and Engineering

By Aryan Deshwal

Organisers: Aryan Deshwal, Jana Doppa, Syrine Belakaria, Vipin Kumar and Carla Gomes.

This workshop brought together researchers from artificial intelligence and diverse scientific domains to address new challenges towards accelerating scientific discovery and engineering design. This was the fourth iteration of the workshop, with the theme of AI for biological sciences following previous three years’ themes of AI for chemistry, earth sciences, and materials/manufacturing respectively. This workshop aims to achieve the following goals: 1. Identify and understand the challenges in applying AI to specific science and engineering problems. 2. Develop, adapt, and refine AI tools for novel problem settings and challenges. 3. Community-building and education to encourage collaboration between AI researchers and domain area experts.

The workshop has been growing significantly every year and saw double the number of papers presented and attendees this year. The program featured presentations from invited speakers, panel session and poster sessions covering a wide range of AI/ML methods and scientific/engineering applications.

The invited speakers’ presentations centered around several key themes:

  • Foundation models for therapeutic design
  • Generative models for drug discovery
  • Lab-in-the-loop antibody design with deep learning and Bayesian optimization
  • Promise and challenges of deep learning in genomics
  • Importance of causal inference and causal discovery in biological applications

The invited speakers also discussed their views on open challenges in the broader field. The panel discussion addressed important questions regarding challenges and opportunities with generative models in AI for biological sciences, how to establish effective collaborations between domain scientists/engineers and AI experts, and safety considerations for AI systems in the scientific context.

The papers presented at the workshop covered wide-ranging application areas including materials science, chemistry, biological sciences, agricultural sciences, physics, manufacturing, and energy systems.


You can read the other workshop summary articles here:



tags: ,


AIhub is dedicated to free high-quality information about AI.
AIhub is dedicated to free high-quality information about AI.




            AIhub is supported by:



Related posts :



Interview with Luc De Raedt: talking probabilistic logic, neurosymbolic AI, and explainability

  23 Sep 2025
AIhub ambassador Liliane-Caroline Demers caught up with Luc de Raedt at IJCAI 2025 to find out more about his research.

Call for AAAI educational AI videos

  22 Sep 2025
Submit your contributions by 30 November 2025.

Self-supervised learning for soccer ball detection and beyond: interview with winners of the RoboCup 2025 best paper award

  19 Sep 2025
Method for improving ball detection can also be applied in other fields, such as precision farming.

How AI is opening the playbook on sports analytics

  18 Sep 2025
Waterloo researchers create simulated soccer datasets to unlock insights once reserved for pro teams.

Discrete flow matching framework for graph generation

and   17 Sep 2025
Read about work presented at ICML 2025 that disentangles sampling from training.

We risk a deluge of AI-written ‘science’ pushing corporate interests – here’s what to do about it

  16 Sep 2025
A single individual using AI can produce multiple papers that appear valid in a matter of hours.

Deploying agentic AI: what worked, what broke, and what we learned

  15 Sep 2025
AI scientist and researcher Francis Osei investigates what happens when Agentic AI systems are used in real projects, where trust and reproducibility are not optional.

Memory traces in reinforcement learning

  12 Sep 2025
Onno writes about work presented at ICML 2025, introducing an alternative memory framework.



 

AIhub is supported by:






 












©2025.05 - Association for the Understanding of Artificial Intelligence