{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:XRNGS3LPZEZW5IQTVWRHD5JPLL","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":"8cfc90b726dd7ff1aba27feb6f11740af2dbe7130bfa0e17640114b650cda662","cross_cats_sorted":["cs.LG","cs.SE"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2024-02-28T02:12:47Z","title_canon_sha256":"5e578f6f7dfb6baff102991b40dddb63f44231567e56aeb427fb4e70468c90d3"},"schema_version":"1.0","source":{"id":"2402.17988","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2402.17988","created_at":"2026-07-05T09:03:18Z"},{"alias_kind":"arxiv_version","alias_value":"2402.17988v2","created_at":"2026-07-05T09:03:18Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2402.17988","created_at":"2026-07-05T09:03:18Z"},{"alias_kind":"pith_short_12","alias_value":"XRNGS3LPZEZW","created_at":"2026-07-05T09:03:18Z"},{"alias_kind":"pith_short_16","alias_value":"XRNGS3LPZEZW5IQT","created_at":"2026-07-05T09:03:18Z"},{"alias_kind":"pith_short_8","alias_value":"XRNGS3LP","created_at":"2026-07-05T09:03:18Z"}],"graph_snapshots":[{"event_id":"sha256:e21a3e14f19bd4aececa2ae745ddb25ce4c590b571ab065367f12cdebd5ced90","target":"graph","created_at":"2026-07-05T09:03:18Z","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/2402.17988/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Large Language Models are powerful tools for program synthesis and advanced auto-completion, but come with no guarantee that their output code is syntactically correct. This paper contributes an incremental parser that allows early rejection of syntactically incorrect code, as well as efficient detection of complete programs for fill-in-the-middle (FIM) tasks. We extend the Earley parsing algorithm to allow for left and right quotients of context-free grammars, and develop methods to handle quotienting of several context-sensitive features present in the grammars of many common programming lan","authors_text":"Daniel Melcer, Haifeng Qian, Nathan Fulton, Sanjay Krishna Gouda","cross_cats":["cs.LG","cs.SE"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2024-02-28T02:12:47Z","title":"Constrained Decoding for Fill-in-the-Middle Code Language Models via Efficient Left and Right Quotienting of Context-Sensitive Grammars"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2402.17988","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:f51c2b8a316a2a41d98747aa82fb1c124538f2aae9db2ae7960f3f85a604109f","target":"record","created_at":"2026-07-05T09:03:18Z","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":"8cfc90b726dd7ff1aba27feb6f11740af2dbe7130bfa0e17640114b650cda662","cross_cats_sorted":["cs.LG","cs.SE"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2024-02-28T02:12:47Z","title_canon_sha256":"5e578f6f7dfb6baff102991b40dddb63f44231567e56aeb427fb4e70468c90d3"},"schema_version":"1.0","source":{"id":"2402.17988","kind":"arxiv","version":2}},"canonical_sha256":"bc5a696d6fc9336ea213ada271f52f5ad28611d284f11284d735d9d4a42795f3","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"bc5a696d6fc9336ea213ada271f52f5ad28611d284f11284d735d9d4a42795f3","first_computed_at":"2026-07-05T09:03:18.594401Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T09:03:18.594401Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"k5fzUrSUjE2M12sTai4pdtPetYH+H4ZHe1xhnlFlDR8W9sbQR2n2VjxgHz1080lLU4KhgcDQQ2Ixi7Z2T3oXBA==","signature_status":"signed_v1","signed_at":"2026-07-05T09:03:18.594918Z","signed_message":"canonical_sha256_bytes"},"source_id":"2402.17988","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:f51c2b8a316a2a41d98747aa82fb1c124538f2aae9db2ae7960f3f85a604109f","sha256:e21a3e14f19bd4aececa2ae745ddb25ce4c590b571ab065367f12cdebd5ced90"],"state_sha256":"1b12326e232237ab3b241480d16775c9e9220cc30aadc211da88ed4cb4df6e56"}