Showing cs.AIShow all
2 papers · 1 filter
cs.AI2026
Evaluating Counterfactual Explanation Methods on Incomplete Inputs
Francesco Leofante, Daniel Neider, Mustafa Yalçıner
Existing algorithms for generating Counterfactual Explanations (CXs) for Machine Learning (ML) typically assume fully specified inputs. However, real-world data often contains miss…
cs.AI2026
Scalable Anytime Algorithms for Learning Fragments of Linear Temporal Logic
Ritam Raha, Rajarshi Roy, Nathanaël Fijalkow +1
Linear temporal logic (LTL) is a specification language for finite sequences (called traces) widely used in program verification, motion planning in robotics, process mining, and m…