{
  "url": "https://appliedfrontier.nl/en/research/signal-0a408b6f89baf9da/",
  "title": "Cost-Efficient Theorem Proving via Agent Orchestration in Program Verification",
  "published": "2026-10-07",
  "excerpt": "Program verification establishes software correctness through machine-checkable proofs constructed in theorem provers. It's a guarantee especially valuable for code generated by large language models (LLMs),",
  "content_sha256": "0eee94ef73364eafd55f2f82e127a24c2c3891d000b95a36f72ecb37a90688b3",
  "extracted_chars": 1851,
  "artifact_links": [
    "https://arxiv.org/abs/2610.09681"
  ],
  "arxiv_id": "2610.09681",
  "id": "signal-0a408b6f89baf9da",
  "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": [
    "proofs",
    "theorem"
  ],
  "checked_at": "2026-10-31T19:17:04+00:00",
  "first_seen": "2026-10-29T21:52:00+00:00",
  "source_hash": "1d42d3e95be65b4b30b684e13b597dce1806af3abf43ccb2dbfc16d7054dfdc4",
  "source_url": "https://arxiv.org/abs/2610.09681",
  "language": "en",
  "indexing": "noindex_until_editorially_enriched"
}