{
  "url": "https://appliedfrontier.nl/en/research/signal-449818065abe3e26/",
  "title": "AxQM: A Textbook-Scale Benchmark for Formal Proof Synthesis in a Library of Finite-Dimensional Quantum Mechanics",
  "published": "2026-09-04",
  "excerpt": "Formalizing mathematics in a proof assistant, where a machine checks every definition, statement and proof, has set a new standard of rigor. Large language models",
  "content_sha256": "cb84d7eabf7424da2037154e3211635591a0499d4cd6c08c93144c21168717f9",
  "extracted_chars": 1229,
  "artifact_links": [
    "https://arxiv.org/abs/2609.05157"
  ],
  "arxiv_id": "2609.05157",
  "id": "signal-449818065abe3e26",
  "org": "Research community",
  "topic": "Formal verification",
  "source_kind": "preprint",
  "status": "unreviewed-source-report",
  "analysis_method": "deterministic_metadata_triage_v1",
  "novelty_verified": false,
  "proof_checked": false,
  "peer_review_verified": false,
  "matched_terms": [
    "mathematics",
    "proof"
  ],
  "checked_at": "2026-10-29T22:08:08+00:00",
  "first_seen": "2026-10-29T21:52:00+00:00",
  "source_hash": "c5a47143828a1ad1ccc762a933dde0bf3593590c2e977523b4c8dce3cb9b1b14",
  "source_url": "https://arxiv.org/abs/2609.05157",
  "language": "en",
  "indexing": "noindex_until_editorially_enriched"
}