{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:VJ5APXGYSVLK5SP5TTO55ZD6UU","short_pith_number":"pith:VJ5APXGY","canonical_record":{"source":{"id":"2504.09763","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2025-04-14T00:06:48Z","cross_cats_sorted":["cs.AI","cs.LG"],"title_canon_sha256":"96d69b3e2b25bd8c78cbc63f02eba07d1c1f5586324f244f6639d7a1451638f7","abstract_canon_sha256":"c6fe12b7a02b01b6cf4ef81c158ad1cec4d26c491db9618140597ab55287a422"},"schema_version":"1.0"},"canonical_sha256":"aa7a07dcd89556aec9fd9cdddee47ea50cc3ee07f7d03e630dcdb16f1fb7f6b9","source":{"kind":"arxiv","id":"2504.09763","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"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:VJ5APXGYSVLK5SP5TTO55ZD6UU","target":"record","payload":{"canonical_record":{"source":{"id":"2504.09763","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2025-04-14T00:06:48Z","cross_cats_sorted":["cs.AI","cs.LG"],"title_canon_sha256":"96d69b3e2b25bd8c78cbc63f02eba07d1c1f5586324f244f6639d7a1451638f7","abstract_canon_sha256":"c6fe12b7a02b01b6cf4ef81c158ad1cec4d26c491db9618140597ab55287a422"},"schema_version":"1.0"},"canonical_sha256":"aa7a07dcd89556aec9fd9cdddee47ea50cc3ee07f7d03e630dcdb16f1fb7f6b9","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:40:33.931784Z","signature_b64":"R2Es09GkXGh23WrJIHhWWJt+oawfu0oB6rfJW18rUarMMJpdK5Lnmrblp6LF/bihRH2lqjuzvZP4GcgdJvxuAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"aa7a07dcd89556aec9fd9cdddee47ea50cc3ee07f7d03e630dcdb16f1fb7f6b9","last_reissued_at":"2026-07-05T11:40:33.931340Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:40:33.931340Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2504.09763","source_version":2,"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:40:33Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"6ZkxW1f/+zTOF4oAN0SxpFdD4M1JizJshXtHwhz7AN02YKcT2JCFF30cZjO6c0I8lPSCF+DSZmHIfsz/X1ydAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-08T20:09:16.915074Z"},"content_sha256":"b2e9c898af60cbf5830d0970db01209f5f0d99377f8face17db316245c133379","schema_version":"1.0","event_id":"sha256:b2e9c898af60cbf5830d0970db01209f5f0d99377f8face17db316245c133379"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:VJ5APXGYSVLK5SP5TTO55ZD6UU","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Executable Functional Abstractions: Inferring Generative Programs for Advanced Math Problems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI","cs.LG"],"primary_cat":"cs.CL","authors_text":"Archiki Prasad, Elias Stengel-Eskin, Jaemin Cho, Mohit Bansal, Zaid Khan","submitted_at":"2025-04-14T00:06:48Z","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"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2504.09763","kind":"arxiv","version":2},"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/2504.09763/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:40:33Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"w+FxpQT4m3UvzO7/dRMfbaWpflvuhbndlC2iTD+bCR+ltpFoVXkLui/nPHrmJ0FyJDm0IiXfSoRL/xVbLbvtDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-08T20:09:16.915607Z"},"content_sha256":"7879955d53c22b8b914458626bb21688126e9ca6f4c4fc684895a668f1dfd033","schema_version":"1.0","event_id":"sha256:7879955d53c22b8b914458626bb21688126e9ca6f4c4fc684895a668f1dfd033"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/VJ5APXGYSVLK5SP5TTO55ZD6UU/bundle.json","state_url":"https://pith.science/pith/VJ5APXGYSVLK5SP5TTO55ZD6UU/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/VJ5APXGYSVLK5SP5TTO55ZD6UU/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-08T20:09:16Z","links":{"resolver":"https://pith.science/pith/VJ5APXGYSVLK5SP5TTO55ZD6UU","bundle":"https://pith.science/pith/VJ5APXGYSVLK5SP5TTO55ZD6UU/bundle.json","state":"https://pith.science/pith/VJ5APXGYSVLK5SP5TTO55ZD6UU/state.json","well_known_bundle":"https://pith.science/.well-known/pith/VJ5APXGYSVLK5SP5TTO55ZD6UU/bundle.json"},"state":{"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"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ZZGgkkn5UeEJU7kQpC7aFKOJyJ74JakvWG6xEOohfeoPY6Zf5RIEPFJWfDfk2tHKeeEWD7jRrzxxAgWBDJdOBA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-08T20:09:16.921877Z","bundle_sha256":"514b614ed5b9a00f7baae91e664149b83c17bae98516b48094f6ce8fc99811ad"}}