Showing cs.AIShow all
3 papers · 1 filter
cs.AI2026
Symbol Grounding in Neuro-Symbolic AI: A Gentle Introduction to Reasoning Shortcuts
Emanuele Marconato, Samuele Bortolotti, Emile van Krieken +6
Neuro-symbolic (NeSy) AI aims to develop deep neural networks whose predictions comply with prior knowledge encoding, e.g. safety or structural constraints. As such, it represents…
cs.AI2026★ 2 cited
Learning To Guide Human Decision Makers With Vision-Language Models
Debodeep Banerjee, Stefano Teso, Burcu Sayin +1
There is growing interest in AI systems that support human decision-making in high-stakes domains (e.g., medical diagnosis) to improve decision quality and reduce cognitive load. M…
cs.AI2024
Probabilistic ML Verification via Weighted Model Integration
Paolo Morettin, Andrea Passerini, Roberto Sebastiani
In machine learning (ML) verification, the majority of procedures are non-quantitative and therefore cannot be used for verifying probabilistic models, or be applied in domains whe…