{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:WCONRCGPKOOEBINCW7XCCTCVJH","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":"3864cb9b42de04517a19f3ad17f46aa0d86c94b634000e26afa7565f72ad1144","cross_cats_sorted":["cs.AI"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2024-05-24T18:45:51Z","title_canon_sha256":"b561d880f373e85ca467a79dc637c4120615cedb92a95ffb86ecdd08d5885a5f"},"schema_version":"1.0","source":{"id":"2405.15880","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2405.15880","created_at":"2026-07-05T09:29:29Z"},{"alias_kind":"arxiv_version","alias_value":"2405.15880v2","created_at":"2026-07-05T09:29:29Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2405.15880","created_at":"2026-07-05T09:29:29Z"},{"alias_kind":"pith_short_12","alias_value":"WCONRCGPKOOE","created_at":"2026-07-05T09:29:29Z"},{"alias_kind":"pith_short_16","alias_value":"WCONRCGPKOOEBINC","created_at":"2026-07-05T09:29:29Z"},{"alias_kind":"pith_short_8","alias_value":"WCONRCGP","created_at":"2026-07-05T09:29:29Z"}],"graph_snapshots":[{"event_id":"sha256:7808743656bbaa4fd7f811c44c61d3d4a4faf624d219b0bbaa8a8ade27f4bbd0","target":"graph","created_at":"2026-07-05T09:29:29Z","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/2405.15880/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Many structured prediction and reasoning tasks can be framed as program synthesis problems, where the goal is to generate a program in a domain-specific language (DSL) that transforms input data into the desired output. Unfortunately, purely neural approaches, such as large language models (LLMs), often fail to produce fully correct programs in unfamiliar DSLs, while purely symbolic methods based on combinatorial search scale poorly to complex problems. Motivated by these limitations, we introduce a hybrid approach, where LLM completions for a given task are used to learn a task-specific, cont","authors_text":"Emmanuel Anaya Gonzalez, Nadia Polikarpova, Saketh Ram Kasibatla, Shraddha Barke, Taylor Berg-Kirkpatrick","cross_cats":["cs.AI"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2024-05-24T18:45:51Z","title":"HYSYNTH: Context-Free LLM Approximation for Guiding Program Synthesis"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2405.15880","kind":"arxiv","version":2},"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:bda32697ded706ba7523ff7d75f4f3a4396de8da832c3bc2467ce63cdfa8ce80","target":"record","created_at":"2026-07-05T09:29:29Z","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":"3864cb9b42de04517a19f3ad17f46aa0d86c94b634000e26afa7565f72ad1144","cross_cats_sorted":["cs.AI"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2024-05-24T18:45:51Z","title_canon_sha256":"b561d880f373e85ca467a79dc637c4120615cedb92a95ffb86ecdd08d5885a5f"},"schema_version":"1.0","source":{"id":"2405.15880","kind":"arxiv","version":2}},"canonical_sha256":"b09cd888cf539c40a1a2b7ee214c5549c9f7fc3250f9a251e1c999294e899397","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"b09cd888cf539c40a1a2b7ee214c5549c9f7fc3250f9a251e1c999294e899397","first_computed_at":"2026-07-05T09:29:29.098322Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T09:29:29.098322Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"PWFIkUi7pD4uni0kcIWwTWiBL9Z4VIYx6mAYGYSZB8A9o8SlPl4GtZjTPf0Uyard8hZ2uYcWfapOZX0uzzOyDQ==","signature_status":"signed_v1","signed_at":"2026-07-05T09:29:29.098816Z","signed_message":"canonical_sha256_bytes"},"source_id":"2405.15880","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:bda32697ded706ba7523ff7d75f4f3a4396de8da832c3bc2467ce63cdfa8ce80","sha256:7808743656bbaa4fd7f811c44c61d3d4a4faf624d219b0bbaa8a8ade27f4bbd0"],"state_sha256":"7ff6f1b8b6ab91235be7a582f1655e5019f71255384b19869e956de5733e6fdd"}