Accepted Papers

Human reasoning relies on abstraction and generalization, in order to make decisions flexible under changing conditions while ignoring irrelevant details and focusing on the essence. Developing AI systems with such abilities, while ensuring transparency and explainability on the reasoning behind the made decision, remains a central challenge. Symbolic AI has a strong position for explainable reasoning but existing generalization methods either suffer from not discovering the underlying patterns or are domain-dependent, due to a lack of
theoretical characteristics for generalized reasoning. This paper presents an overview on the research towards filling this gap by developing formal and computational methods for abstraction in Answer Set Programming, one of the core formalisms in symbolic AI, and related logic-based frameworks. The contributions span from foundational abstraction techniques that simplify reasoning representations while preserving essential solution properties, to investigations on how such abstractions can both improve computational reasoning and support human understanding of AI decision processes.

Not ready yet

Not ready yet

Not ready yet

Recent progress in Large Language Models (LLMs) has transformed text and code generation, yet models still falter on Partial Differential Equations (PDEs) where correctness, constraints, and physical consequences are critical. We explore how formal LLM reasoning can advance symbolic PDE modeling. First, our PDE-Controller formalizes informal PDEs, synthesizes solver-ready code, and plans subgoals to tackle nonconvex control via interactions with external solvers. Second, our Lean Finder accelerates PDE formalization via a semantics-aware search engine for Lean/Mathlib that retrieves relevant theorems, outperforming GPT models and gaining significant traction in the AI-for-math community. Through these efforts, we aim to design a semantics-first LLM that autoformalizes informal PDE problems into machine-checked specifications and synthesizes solver-ready code. This closes the loop between formal analysis and LLM reasoning, ultimately surpassing human heuristics across PDEs.

Not ready yet

Not ready yet

The rapid advancement of Artificial Intelligence (AI) has accelerated the development of personalised healthcare. However, the clinical adoption of deep learning remains constrained by a persistent “trust gap” surrounding model transparency, security, and data privacy. This talk presents a research vision for building trustworthy human-centred AI in computer audition and biosignal processing by integrating signal processing, machine learning, and healthcare. This vision is structured around three interconnected pillars: Sensing, Understanding, and Empowerment. The Sensing pillar focuses on enabling machines to perceive clinically relevant information from multimodal biosignals, transforming body sounds and physiological signals into non-invasive, accessible, and cost-effective windows into human health and well-being. The Understanding pillar addresses the black-box nature of modern AI systems, with the goal of ensuring transparency, efficiency, robustness, and security in clinical deployment. This is achieved through the development of explainable AI methods, knowledge distillation techniques, and defences against adversarial attacks, fostering AI systems that clinicians can trust and interpret. The Empowerment pillar seeks to restore natural communication for individuals with speech impairments, such as laryngectomy patients. By developing Silent Speech Interfaces (SSIs) that translate facial muscle activity (EMG) directly into audible speech, this research advances speech intelligibility, naturalness, real-time causal architectures, and multi-speaker communication scenarios. Collectively, these research directions aim to establish a foundation of trustworthy, human-centred AI that is not only accurate and secure, but also empathetic, accessible, and impactful, ultimately enhancing healthcare, communication, and quality of life.

Not ready yet

Not ready yet

Continual learning (CL) is a prerequisite for autonomous intelligence. Despite decades of progress, the field has operated largely without a mechanistic account of \emph{where} and \emph{why} forgetting occurs, treating it as a monolithic phenomenon to be suppressed rather than a structured process to be understood. We argue that three recent shifts are collectively redefining the field: (1) a mechanistic turn that localizes forgetting to specific computational circuits; (2) the emergence of foundation models that change the problem entirely; and (3) the imperative to move beyond task-bounded protocols toward genuinely autonomous, boundary-free learning. Grounded in Complementary Learning Systems (CLS) theory, this work identifies fast and slow learning pathways inside large language models, characterizes the structural geometry of forgetting, and constructs deployable CL pipelines with biologically motivated signatures. These directions chart a path toward autonomous learning systems that regulate their own consolidation.

Time series forecasting has become a central problem in modern machine learning, with applications spanning science, engineering, health, and finance. Yet in many domains, accurate prediction is only the starting point. This talk explores a broader view of time series learning, moving from forecasting toward discovery. I will first discuss our work on efficient time series forecasting, focusing on methods that improve scalability and practicality without sacrificing predictive performance. I will then turn to structured learning for high-dimensional temporal data, showing how modeling dependencies across variables can lead to more reliable and expressive forecasting systems. Finally, I will ask whether machine learning can move beyond forecasting to discover symbolic structure from time series data. I will present our recent work on benchmarking symbolic reasoning over time series and on hybrid LLM-based methods for scientific discovery. These directions point toward time series models that support both prediction and discovery.

While we have witnessed extraordinary progress across various subfields of AI, the deployment of these systems in safety-critical and mission-critical domains has lagged behind. A key requirement for such deployments is the availability of AI systems capable of generating optimal behavior that can be formally verified and effectively used by non-AI experts from diverse backgrounds. While significant advances have been made toward building such systems, we still lack comprehensive formal frameworks to model and analyze the complex dynamics of human-AI interaction. In this talk, I will introduce the Human-Aware AI framework, a multi-agent planning framework specifically designed to support and reason about human-AI interaction. I will show how this framework provides novel solutions to challenges such as explainability, value alignment, and proactive assistance, and demonstrate its application in domains including intelligent tutoring systems, cybersecurity, and robotics.