KR2026Proceedings of the 23rd International Conference on Principles of Knowledge Representation and ReasoningProceedings of the 23rd International Conference on Principles of Knowledge Representation and Reasoning

Lisbon, Portugal. July 20-23, 2026.

Edited by
  1. Renata Wassermann
  2. Marie-Laure Mugnier
  3. Franz Baader

ISSN: 2334-1033
ISBN: 978-1-956792-18-8

Sponsored by
Published by

Copyright © 2026 International Joint Conferences on Artificial Intelligence Organization

Do Transformers Learn What Theory Predicts? Knowledge Representation-Guided Mechanistic Verification via Causal Abstraction

  1. Chang Lu(Yale University, New Haven, CT, USA)
  2. Renate A. Schmidt(The University of Manchester, Manchester, UK)
  3. Yizheng Zhao(Nanjing University, Nanjing, China)

Bibtex record

@inproceedings{KR2026-95,
    title     = {{Do Transformers Learn What Theory Predicts? Knowledge Representation-Guided Mechanistic Verification via Causal Abstraction}},
    author    = {Lu, Chang and Schmidt, Renate A. and Zhao, Yizheng},
    booktitle = {{Proceedings of the 23rd International Conference on Principles of Knowledge Representation and Reasoning}},
    pages     = {1018--1029},
    year      = {2026},
    month     = {7},
    doi       = {10.24963/kr.2026/95},
    url       = {https://doi.org/10.24963/kr.2026/95},
  }
Go back