{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:HH5CIB5UV2DPPTGWNCUPS7CPZN","short_pith_number":"pith:HH5CIB5U","canonical_record":{"source":{"id":"2508.00013","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2025-07-21T11:33:57Z","cross_cats_sorted":[],"title_canon_sha256":"b2854567c622bcf484c4bd096ecd1a9653bee0007a023c2b595ba35aafac84c1","abstract_canon_sha256":"ac27348a4726dbf4384ac99ebb9a8ba14a963d34d2f0b7a26f44f5d34d3c4263"},"schema_version":"1.0"},"canonical_sha256":"39fa2407b4ae86f7ccd668a8f97c4fcb57382cadc84ed954248bfdbfd4215bdb","source":{"kind":"arxiv","id":"2508.00013","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2508.00013","created_at":"2026-07-05T11:46:47Z"},{"alias_kind":"arxiv_version","alias_value":"2508.00013v1","created_at":"2026-07-05T11:46:47Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2508.00013","created_at":"2026-07-05T11:46:47Z"},{"alias_kind":"pith_short_12","alias_value":"HH5CIB5UV2DP","created_at":"2026-07-05T11:46:47Z"},{"alias_kind":"pith_short_16","alias_value":"HH5CIB5UV2DPPTGW","created_at":"2026-07-05T11:46:47Z"},{"alias_kind":"pith_short_8","alias_value":"HH5CIB5U","created_at":"2026-07-05T11:46:47Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:HH5CIB5UV2DPPTGWNCUPS7CPZN","target":"record","payload":{"canonical_record":{"source":{"id":"2508.00013","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2025-07-21T11:33:57Z","cross_cats_sorted":[],"title_canon_sha256":"b2854567c622bcf484c4bd096ecd1a9653bee0007a023c2b595ba35aafac84c1","abstract_canon_sha256":"ac27348a4726dbf4384ac99ebb9a8ba14a963d34d2f0b7a26f44f5d34d3c4263"},"schema_version":"1.0"},"canonical_sha256":"39fa2407b4ae86f7ccd668a8f97c4fcb57382cadc84ed954248bfdbfd4215bdb","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:46:47.599609Z","signature_b64":"lm+HCRoesmw46YDxLkjxtIm3I4gViBuh5sGMtiUjYM1FpTNgy5cwR9c21bZ1q1/fA2A6QO65Be4ls7c48vHNDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"39fa2407b4ae86f7ccd668a8f97c4fcb57382cadc84ed954248bfdbfd4215bdb","last_reissued_at":"2026-07-05T11:46:47.599142Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:46:47.599142Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2508.00013","source_version":1,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-05T11:46:47Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"wtRgvYgD9WhEAQlvftooX3o5wD5PrMbtMkuuSnPHRrT+wrSOn1JClvXBLpL8NHQrTPHrCMwSkcRVS/VILeTIDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-07T09:20:42.644645Z"},"content_sha256":"18b6338ca52cb32f086f1b55b7d97d48093d587547e9fad757fd6a8b7b03074c","schema_version":"1.0","event_id":"sha256:18b6338ca52cb32f086f1b55b7d97d48093d587547e9fad757fd6a8b7b03074c"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:HH5CIB5UV2DPPTGWNCUPS7CPZN","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"From Provable Correctness to Probabilistic Generation: A Comparative Review of Program Synthesis Paradigms","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Anna Arnania, Tamar Sanikidze, Zurabi Kobaladze","submitted_at":"2025-07-21T11:33:57Z","abstract_excerpt":"Program synthesis--the automated generation of executable code from high-level specifications--has been a central goal of computer science for over fifty years. This thesis provides a comparative literature review of the main paradigms that have shaped the field, tracing its evolution from formal logic based methods to recent advances using large scale neural models. We examine five key approaches: logic based (deductive) synthesis, inductive (example based) synthesis, sketch/schema based synthesis, large language model based synthesis, and neuro-symbolic hybrids. For each, we analyze foundati"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2508.00013","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2508.00013/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-05T11:46:47Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"QLNbpzWyOdcnovFPjNpjOZQFHibK5elB2R4kRazEQMHlin82BlNWHlhmSALOnz8N9/XXPAcHJDS8eD/BdEi1Dg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-07T09:20:42.645509Z"},"content_sha256":"1a8ddc0ee36c257dee2c8ee6df02eb175b963e7ea1507131f2057eb9cfe4ab96","schema_version":"1.0","event_id":"sha256:1a8ddc0ee36c257dee2c8ee6df02eb175b963e7ea1507131f2057eb9cfe4ab96"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/HH5CIB5UV2DPPTGWNCUPS7CPZN/bundle.json","state_url":"https://pith.science/pith/HH5CIB5UV2DPPTGWNCUPS7CPZN/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/HH5CIB5UV2DPPTGWNCUPS7CPZN/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-08-07T09:20:42Z","links":{"resolver":"https://pith.science/pith/HH5CIB5UV2DPPTGWNCUPS7CPZN","bundle":"https://pith.science/pith/HH5CIB5UV2DPPTGWNCUPS7CPZN/bundle.json","state":"https://pith.science/pith/HH5CIB5UV2DPPTGWNCUPS7CPZN/state.json","well_known_bundle":"https://pith.science/.well-known/pith/HH5CIB5UV2DPPTGWNCUPS7CPZN/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:HH5CIB5UV2DPPTGWNCUPS7CPZN","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"ac27348a4726dbf4384ac99ebb9a8ba14a963d34d2f0b7a26f44f5d34d3c4263","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2025-07-21T11:33:57Z","title_canon_sha256":"b2854567c622bcf484c4bd096ecd1a9653bee0007a023c2b595ba35aafac84c1"},"schema_version":"1.0","source":{"id":"2508.00013","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2508.00013","created_at":"2026-07-05T11:46:47Z"},{"alias_kind":"arxiv_version","alias_value":"2508.00013v1","created_at":"2026-07-05T11:46:47Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2508.00013","created_at":"2026-07-05T11:46:47Z"},{"alias_kind":"pith_short_12","alias_value":"HH5CIB5UV2DP","created_at":"2026-07-05T11:46:47Z"},{"alias_kind":"pith_short_16","alias_value":"HH5CIB5UV2DPPTGW","created_at":"2026-07-05T11:46:47Z"},{"alias_kind":"pith_short_8","alias_value":"HH5CIB5U","created_at":"2026-07-05T11:46:47Z"}],"graph_snapshots":[{"event_id":"sha256:1a8ddc0ee36c257dee2c8ee6df02eb175b963e7ea1507131f2057eb9cfe4ab96","target":"graph","created_at":"2026-07-05T11:46:47Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2508.00013/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Program synthesis--the automated generation of executable code from high-level specifications--has been a central goal of computer science for over fifty years. This thesis provides a comparative literature review of the main paradigms that have shaped the field, tracing its evolution from formal logic based methods to recent advances using large scale neural models. We examine five key approaches: logic based (deductive) synthesis, inductive (example based) synthesis, sketch/schema based synthesis, large language model based synthesis, and neuro-symbolic hybrids. For each, we analyze foundati","authors_text":"Anna Arnania, Tamar Sanikidze, Zurabi Kobaladze","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2025-07-21T11:33:57Z","title":"From Provable Correctness to Probabilistic Generation: A Comparative Review of Program Synthesis Paradigms"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2508.00013","kind":"arxiv","version":1},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:18b6338ca52cb32f086f1b55b7d97d48093d587547e9fad757fd6a8b7b03074c","target":"record","created_at":"2026-07-05T11:46:47Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"ac27348a4726dbf4384ac99ebb9a8ba14a963d34d2f0b7a26f44f5d34d3c4263","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2025-07-21T11:33:57Z","title_canon_sha256":"b2854567c622bcf484c4bd096ecd1a9653bee0007a023c2b595ba35aafac84c1"},"schema_version":"1.0","source":{"id":"2508.00013","kind":"arxiv","version":1}},"canonical_sha256":"39fa2407b4ae86f7ccd668a8f97c4fcb57382cadc84ed954248bfdbfd4215bdb","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"39fa2407b4ae86f7ccd668a8f97c4fcb57382cadc84ed954248bfdbfd4215bdb","first_computed_at":"2026-07-05T11:46:47.599142Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:46:47.599142Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"lm+HCRoesmw46YDxLkjxtIm3I4gViBuh5sGMtiUjYM1FpTNgy5cwR9c21bZ1q1/fA2A6QO65Be4ls7c48vHNDQ==","signature_status":"signed_v1","signed_at":"2026-07-05T11:46:47.599609Z","signed_message":"canonical_sha256_bytes"},"source_id":"2508.00013","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:18b6338ca52cb32f086f1b55b7d97d48093d587547e9fad757fd6a8b7b03074c","sha256:1a8ddc0ee36c257dee2c8ee6df02eb175b963e7ea1507131f2057eb9cfe4ab96"],"state_sha256":"dcfb32bf8486dbe2502ef40b04998564371519c2e390d2c6a21cd360920f8180"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ZMK9uYKBuWiH5kA6Tsi1jiZyJCUWwFEqo/spcKXvU2q1oyMVmFZlqpdN6uHOEXjcdHeuYkdghB+NWYIK6+pAAw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-07T09:20:42.650931Z","bundle_sha256":"cd959d7380b90dd756ae7cf6446737a6e0f49f2052cc22fa6c60bf79d3b93223"}}