{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:OEUVQVNM3QAL5POSED6LGXJKXH","short_pith_number":"pith:OEUVQVNM","canonical_record":{"source":{"id":"2506.13820","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.SE","submitted_at":"2025-06-15T04:33:00Z","cross_cats_sorted":["cs.AI","cs.PL"],"title_canon_sha256":"83551dd2ecafb6b3a651b9d92be0c7efb2c89e0c26fb49acae10ceab85ddffd9","abstract_canon_sha256":"4120e639e54583c14ed7987bf57046b521056806b183dab6babc4341acfaebd4"},"schema_version":"1.0"},"canonical_sha256":"71295855acdc00bebdd220fcb35d2ab9f762512e67054a22dcc0a49f81302923","source":{"kind":"arxiv","id":"2506.13820","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2506.13820","created_at":"2026-07-05T11:24:53Z"},{"alias_kind":"arxiv_version","alias_value":"2506.13820v1","created_at":"2026-07-05T11:24:53Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2506.13820","created_at":"2026-07-05T11:24:53Z"},{"alias_kind":"pith_short_12","alias_value":"OEUVQVNM3QAL","created_at":"2026-07-05T11:24:53Z"},{"alias_kind":"pith_short_16","alias_value":"OEUVQVNM3QAL5POS","created_at":"2026-07-05T11:24:53Z"},{"alias_kind":"pith_short_8","alias_value":"OEUVQVNM","created_at":"2026-07-05T11:24:53Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:OEUVQVNM3QAL5POSED6LGXJKXH","target":"record","payload":{"canonical_record":{"source":{"id":"2506.13820","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.SE","submitted_at":"2025-06-15T04:33:00Z","cross_cats_sorted":["cs.AI","cs.PL"],"title_canon_sha256":"83551dd2ecafb6b3a651b9d92be0c7efb2c89e0c26fb49acae10ceab85ddffd9","abstract_canon_sha256":"4120e639e54583c14ed7987bf57046b521056806b183dab6babc4341acfaebd4"},"schema_version":"1.0"},"canonical_sha256":"71295855acdc00bebdd220fcb35d2ab9f762512e67054a22dcc0a49f81302923","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:24:53.772222Z","signature_b64":"znvAm+Mf/fcc2Dh3FMQlpMGl6iPUKGLWTzjHDSjRe0gAkKFt9iqfhBATPyfDfe8+t+bryX4sfCyydFjnQiurDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"71295855acdc00bebdd220fcb35d2ab9f762512e67054a22dcc0a49f81302923","last_reissued_at":"2026-07-05T11:24:53.771723Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:24:53.771723Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2506.13820","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:24:53Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"tMLFRJ2y0k2Qw1a3+Fk4RnBgM/QFA7GMo8h2d0YQ77ucuJp2Z/wWIhhlfiecazy3m2DCOrxNj3GcnKAySzexAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-20T15:30:36.144258Z"},"content_sha256":"87db1db6c28c3bd467885e82e1bb953f49d3cbb9f93c64cbfd59dc17e8ad255c","schema_version":"1.0","event_id":"sha256:87db1db6c28c3bd467885e82e1bb953f49d3cbb9f93c64cbfd59dc17e8ad255c"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:OEUVQVNM3QAL5POSED6LGXJKXH","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Structured Program Synthesis using LLMs: Results and Insights from the IPARC Challenge","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","headline":"","cross_cats":["cs.AI","cs.PL"],"primary_cat":"cs.SE","authors_text":"Ashwin Srinivasan, Michael Bain, Shraddha Surana","submitted_at":"2025-06-15T04:33:00Z","abstract_excerpt":"The IPARC Challenge, inspired by ARC, provides controlled program synthesis tasks over synthetic images to evaluate automatic program construction, focusing on sequence, selection, and iteration. This set of 600 tasks has resisted automated solutions. This paper presents a structured inductive programming approach with LLMs that successfully solves tasks across all IPARC categories. The controlled nature of IPARC reveals insights into LLM-based code generation, including the importance of prior structuring, LLMs' ability to aid structuring (requiring human refinement), the need to freeze corre"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2506.13820","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/2506.13820/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:24:53Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"9uQ/wENair0qGvGSg9hz1OqXAr+s6RFBv/Sh4YB7R2UYoYbcY59qxCdt36QpAklT06Yx9gGnDtsI2Q/wy9SIBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-20T15:30:36.145136Z"},"content_sha256":"d4fd2579ccada7410984678b76b35061ac44a335138d816a291efcc0db1444a6","schema_version":"1.0","event_id":"sha256:d4fd2579ccada7410984678b76b35061ac44a335138d816a291efcc0db1444a6"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/OEUVQVNM3QAL5POSED6LGXJKXH/bundle.json","state_url":"https://pith.science/pith/OEUVQVNM3QAL5POSED6LGXJKXH/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/OEUVQVNM3QAL5POSED6LGXJKXH/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-20T15:30:36Z","links":{"resolver":"https://pith.science/pith/OEUVQVNM3QAL5POSED6LGXJKXH","bundle":"https://pith.science/pith/OEUVQVNM3QAL5POSED6LGXJKXH/bundle.json","state":"https://pith.science/pith/OEUVQVNM3QAL5POSED6LGXJKXH/state.json","well_known_bundle":"https://pith.science/.well-known/pith/OEUVQVNM3QAL5POSED6LGXJKXH/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:OEUVQVNM3QAL5POSED6LGXJKXH","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":"4120e639e54583c14ed7987bf57046b521056806b183dab6babc4341acfaebd4","cross_cats_sorted":["cs.AI","cs.PL"],"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.SE","submitted_at":"2025-06-15T04:33:00Z","title_canon_sha256":"83551dd2ecafb6b3a651b9d92be0c7efb2c89e0c26fb49acae10ceab85ddffd9"},"schema_version":"1.0","source":{"id":"2506.13820","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2506.13820","created_at":"2026-07-05T11:24:53Z"},{"alias_kind":"arxiv_version","alias_value":"2506.13820v1","created_at":"2026-07-05T11:24:53Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2506.13820","created_at":"2026-07-05T11:24:53Z"},{"alias_kind":"pith_short_12","alias_value":"OEUVQVNM3QAL","created_at":"2026-07-05T11:24:53Z"},{"alias_kind":"pith_short_16","alias_value":"OEUVQVNM3QAL5POS","created_at":"2026-07-05T11:24:53Z"},{"alias_kind":"pith_short_8","alias_value":"OEUVQVNM","created_at":"2026-07-05T11:24:53Z"}],"graph_snapshots":[{"event_id":"sha256:d4fd2579ccada7410984678b76b35061ac44a335138d816a291efcc0db1444a6","target":"graph","created_at":"2026-07-05T11:24:53Z","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/2506.13820/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"The IPARC Challenge, inspired by ARC, provides controlled program synthesis tasks over synthetic images to evaluate automatic program construction, focusing on sequence, selection, and iteration. This set of 600 tasks has resisted automated solutions. This paper presents a structured inductive programming approach with LLMs that successfully solves tasks across all IPARC categories. The controlled nature of IPARC reveals insights into LLM-based code generation, including the importance of prior structuring, LLMs' ability to aid structuring (requiring human refinement), the need to freeze corre","authors_text":"Ashwin Srinivasan, Michael Bain, Shraddha Surana","cross_cats":["cs.AI","cs.PL"],"headline":"","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.SE","submitted_at":"2025-06-15T04:33:00Z","title":"Structured Program Synthesis using LLMs: Results and Insights from the IPARC Challenge"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2506.13820","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:87db1db6c28c3bd467885e82e1bb953f49d3cbb9f93c64cbfd59dc17e8ad255c","target":"record","created_at":"2026-07-05T11:24:53Z","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":"4120e639e54583c14ed7987bf57046b521056806b183dab6babc4341acfaebd4","cross_cats_sorted":["cs.AI","cs.PL"],"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.SE","submitted_at":"2025-06-15T04:33:00Z","title_canon_sha256":"83551dd2ecafb6b3a651b9d92be0c7efb2c89e0c26fb49acae10ceab85ddffd9"},"schema_version":"1.0","source":{"id":"2506.13820","kind":"arxiv","version":1}},"canonical_sha256":"71295855acdc00bebdd220fcb35d2ab9f762512e67054a22dcc0a49f81302923","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"71295855acdc00bebdd220fcb35d2ab9f762512e67054a22dcc0a49f81302923","first_computed_at":"2026-07-05T11:24:53.771723Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:24:53.771723Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"znvAm+Mf/fcc2Dh3FMQlpMGl6iPUKGLWTzjHDSjRe0gAkKFt9iqfhBATPyfDfe8+t+bryX4sfCyydFjnQiurDg==","signature_status":"signed_v1","signed_at":"2026-07-05T11:24:53.772222Z","signed_message":"canonical_sha256_bytes"},"source_id":"2506.13820","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:87db1db6c28c3bd467885e82e1bb953f49d3cbb9f93c64cbfd59dc17e8ad255c","sha256:d4fd2579ccada7410984678b76b35061ac44a335138d816a291efcc0db1444a6"],"state_sha256":"ca688497101444536f316e8741410217c6b897d670cecd196ea21c39ae487761"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ooiiNy8qM1AbtHWdUzRO3Qj+XDJHlqWO19R0Xycsx9/a/0SByfQa3lD4+RC7NaQDK3wEvJt47qvA47DZGznyDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-20T15:30:36.151294Z","bundle_sha256":"a469b150d4e02eaef72f233ca58283b15b8adc4da8ea9372999d526b710677b0"}}