conftrace_

compositional manner

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

2-sat (1) axiom (1) neural network (1) abstract interpretation (1) mechanistic interpretability (1)

Papers

Validating Mechanistic Interpretations: An Axiomatic Approach ICML 2025