3 citations · 13 across the 17 of their papers we have counts for
Showing 2026Show all
3 papers · 1 filter
cs.LG2026
Concept-Based Abductive and Contrastive Explanations for Behaviors of Vision Models
Ronaldo Canizales, Divya Gopinath, Corina Păsăreanu +1
*Concept-based explanations* offer a promising approach for explaining the predictions of deep neural networks in terms of high-level, human-understandable concepts. However, exist…
cs.AI2026
Interval POMDP Shielding for Imperfect-Perception Agents
William Scarbro, Ravi Mangal
Autonomous systems that rely on learned perception can make unsafe decisions when sensor readings are misclassified. We study shielding for this setting: given a proposed action, a…
cs.CR2026
SecCodePRM: A Process Reward Model for Code Security
Weichen Yu, Ravi Mangal, Yinyi Luo +4
Large Language Models are rapidly becoming core components of modern software development workflows, yet ensuring code security remains challenging. Existing vulnerability detectio…