3 papers
math.FA2026
Expansive operators on Fréchet spaces without continuous norm
Antoni López-Martínez, Quentin Menet
We investigate the existence of (metrically) expansive operators on Fréchet spaces without continuous norm. We first solve a problem posed by Bernardes, Caraballo, Darji, Fávaro, a…
cs.AI2026
Time to Reason: Scalable Neurosymbolic Learning for LTLf via Fuzzy Semantics
Riccardo Andreoni, Andrei Buliga, Alessandro Daniele +4
Neurosymbolic (NeSy) Artificial Intelligence aims to integrate Deep Learning (DL) architectures with symbolic reasoning. While initial NeSy approaches have targeted mainly symbolic…
cs.AI2025
T-ILR: a Neurosymbolic Integration for LTLf
Riccardo Andreoni, Andrei Buliga, Alessandro Daniele +3
State-of-the-art approaches for integrating symbolic knowledge with deep learning architectures have demonstrated promising results in static domains. However, methods to handle te…