3 papers
cs.AI2026
Neuro-Symbolic Injection of LTLf Constraints in Autoregressive Reinforcement Learning Policies
Ashkan Ansarifard, Matteo Mancanelli, Elena Umili +1
In this work we study offline reinforcement learning (RL) under temporally extended task constraints expressed in Linear Temporal Logic over finite traces (LTLf). Recently, transfo…
cs.AI2025
Neuro-Symbolic Predictive Process Monitoring
Axel Mezini, Elena Umili, Ivan Donadello +3
This paper addresses the problem of suffix prediction in Business Process Management (BPM) by proposing a Neuro-Symbolic Predictive Process Monitoring (PPM) approach that integrate…
cs.LG2023
PHYDI: Initializing Parameterized Hypercomplex Neural Networks as Identity Functions
Matteo Mancanelli, Eleonora Grassucci, Aurelio Uncini +1
Neural models based on hypercomplex algebra systems are growing and prolificating for a plethora of applications, ranging from computer vision to natural language processing. Hand…