{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:VJ5APXGYSVLK5SP5TTO55ZD6UU","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":"c6fe12b7a02b01b6cf4ef81c158ad1cec4d26c491db9618140597ab55287a422","cross_cats_sorted":["cs.AI","cs.LG"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2025-04-14T00:06:48Z","title_canon_sha256":"96d69b3e2b25bd8c78cbc63f02eba07d1c1f5586324f244f6639d7a1451638f7"},"schema_version":"1.0","source":{"id":"2504.09763","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2504.09763","created_at":"2026-07-05T11:40:33Z"},{"alias_kind":"arxiv_version","alias_value":"2504.09763v2","created_at":"2026-07-05T11:40:33Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2504.09763","created_at":"2026-07-05T11:40:33Z"},{"alias_kind":"pith_short_12","alias_value":"VJ5APXGYSVLK","created_at":"2026-07-05T11:40:33Z"},{"alias_kind":"pith_short_16","alias_value":"VJ5APXGYSVLK5SP5","created_at":"2026-07-05T11:40:33Z"},{"alias_kind":"pith_short_8","alias_value":"VJ5APXGY","created_at":"2026-07-05T11:40:33Z"}],"graph_snapshots":[{"event_id":"sha256:7879955d53c22b8b914458626bb21688126e9ca6f4c4fc684895a668f1dfd033","target":"graph","created_at":"2026-07-05T11:40:33Z","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/2504.09763/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Scientists often infer abstract procedures from specific instances of problems and use the abstractions to generate new, related instances. For example, programs encoding the formal rules and properties of a system have been useful in fields ranging from reinforcement learning (procedural environments) to physics (simulation engines). These programs can be seen as functions which execute to different outputs based on their parameterizations (e.g., gridworld configuration or initial physical conditions). We introduce the term EFA (Executable Functional Abstraction) to denote such programs for m","authors_text":"Archiki Prasad, Elias Stengel-Eskin, Jaemin Cho, Mohit Bansal, Zaid Khan","cross_cats":["cs.AI","cs.LG"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2025-04-14T00:06:48Z","title":"Executable Functional Abstractions: Inferring Generative Programs for Advanced Math Problems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2504.09763","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:b2e9c898af60cbf5830d0970db01209f5f0d99377f8face17db316245c133379","target":"record","created_at":"2026-07-05T11:40:33Z","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":"c6fe12b7a02b01b6cf4ef81c158ad1cec4d26c491db9618140597ab55287a422","cross_cats_sorted":["cs.AI","cs.LG"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2025-04-14T00:06:48Z","title_canon_sha256":"96d69b3e2b25bd8c78cbc63f02eba07d1c1f5586324f244f6639d7a1451638f7"},"schema_version":"1.0","source":{"id":"2504.09763","kind":"arxiv","version":2}},"canonical_sha256":"aa7a07dcd89556aec9fd9cdddee47ea50cc3ee07f7d03e630dcdb16f1fb7f6b9","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"aa7a07dcd89556aec9fd9cdddee47ea50cc3ee07f7d03e630dcdb16f1fb7f6b9","first_computed_at":"2026-07-05T11:40:33.931340Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:40:33.931340Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"R2Es09GkXGh23WrJIHhWWJt+oawfu0oB6rfJW18rUarMMJpdK5Lnmrblp6LF/bihRH2lqjuzvZP4GcgdJvxuAw==","signature_status":"signed_v1","signed_at":"2026-07-05T11:40:33.931784Z","signed_message":"canonical_sha256_bytes"},"source_id":"2504.09763","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:b2e9c898af60cbf5830d0970db01209f5f0d99377f8face17db316245c133379","sha256:7879955d53c22b8b914458626bb21688126e9ca6f4c4fc684895a668f1dfd033"],"state_sha256":"197ca861bd5255f8ef3990733fcee0ec4e7b0624ff60fe9515293e92dfa0eaef"}