4 citations · 5 across the 2 of their papers we have counts for
2 papers
cs.LG2024★ 1 cited
Validating Mechanistic Interpretations: An Axiomatic Approach
Nils Palumbo, Ravi Mangal, Zifan Wang +3
Mechanistic interpretability aims to reverse engineer the computation performed by a neural network in terms of its internal components. Although there is a growing body of researc…
cs.LG2023★ 4 cited
Learning Modulo Theories
Matt Fredrikson, Kaiji Lu, Saranya Vijayakumar +3
Recent techniques that integrate \emph{solver layers} into Deep Neural Networks (DNNs) have shown promise in bridging a long-standing gap between inductive learning and symbolic re…