{
  "url": "https://appliedfrontier.nl/en/research/signal-df374e60be63a57b/",
  "title": "ProofEvolve: Neuro-Symbolic Evolution for Formal Automated Theorem Proving",
  "published": "2026-08-26",
  "excerpt": "Automated theorem proving offers a natural foundation for recursive self-improvement in scientific discovery. However, existing neural provers do not fully preserve this recursive structure, where",
  "content_sha256": "8892ac3216f38ffb70a9f6e82e27dfbfb0d42015fd611d2f1f984ec3e7440fef",
  "extracted_chars": 1712,
  "artifact_links": [
    "https://arxiv.org/abs/2608.26334"
  ],
  "arxiv_id": "2608.26334",
  "id": "signal-df374e60be63a57b",
  "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": [
    "proof",
    "proofevolve",
    "theorem"
  ],
  "checked_at": "2026-10-29T22:08:08+00:00",
  "first_seen": "2026-10-29T21:52:00+00:00",
  "source_hash": "d6600f9d6868e3fa4f2c51c0b7880d753a65c8cd75e6e18fa850abfbe5515d84",
  "source_url": "https://arxiv.org/abs/2608.26334",
  "language": "en",
  "indexing": "noindex_until_editorially_enriched"
}