source_audit.json

{
  "paper": {
    "title": "Context-Free Recognition with Transformers",
    "authors": [
      "Selim Jerad",
      "Anej Svete",
      "Sophie Hao",
      "Ryan Cotterell",
      "William Merrill"
    ],
    "arxiv": "https://arxiv.org/abs/2601.01754",
    "version_audited": "v3, 2026-05-29",
    "openreview": "https://openreview.net/forum?id=JOyxs9ElI7"
  },
  "primary_source_sections": {
    "claim_1": "Theorem 3.1 and Appendix B.3",
    "claim_2": "Theorem 4.1, Equations (1)-(6), Appendix B.4",
    "claim_3": "Proposition 4.1, Theorem 4.2",
    "claim_4": "Lemma 4.1 and Lemma B.3",
    "claim_5": "Corollary 4.1 and Lemma B.2",
    "claim_6": "Table 1"
  },
  "code_search": {
    "paper_code_link_present": false,
    "official_repository_used": false,
    "reason": "The v3 paper does not provide a code-repository URL. The audit is clean-room from the primary paper."
  },
  "independent_oracles": [
    "CNF CYK dynamic programming",
    "recursive Boolean-tree evaluation"
  ],
  "scope": "Constructive idealized-AHAT expressivity audit; no learned softmax model."
}