conftrace_

2-sat

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

axiom (1) compositional manner (1) neural network (1) abstract interpretation (1) mechanistic interpretability (1)

Papers

Validating Mechanistic Interpretations: An Axiomatic Approach ICML 2025