3 citations · 10 across the 18 of their papers we have counts for
Showing 2024 · cs.AIShow all
2 papers · 2 filters
cs.AI2024★ 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★ 1 cited
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…