TY - RPRT TI - Validating Mechanistic Interpretations: An Axiomatic Approach AU - Nils Palumbo AU - Ravi Mangal AU - Zifan Wang AU - Saranya Vijayakumar AU - Corina S. Pasareanu AU - Somesh Jha PY - 2025 UR - https://arxiv.org/abs/2407.13594 ID - 2407.13594 ER -