2 papers
cs.LG2025
Beyond Output Faithfulness: Learning Attributions that Preserve Computational Pathways
Siyu Zhang, Kenneth Mcmillan
Faithfulness metrics such as insertion and deletion evaluate how feature removal affects model outputs but overlook whether explanations preserve the computational pathway the netw…
cs.AI2024
NeuroBack: Improving CDCL SAT Solving using Graph Neural Networks
Wenxi Wang, Yang Hu, Mohit Tiwari +3
Propositional satisfiability (SAT) is an NP-complete problem that impacts many research fields, such as planning, verification, and security. Mainstream modern SAT solvers are base…