{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2021:V2U35TOHK4SRTXEWDML45XABB6","short_pith_number":"pith:V2U35TOH","canonical_record":{"source":{"id":"2110.02307","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2021-10-05T19:11:11Z","cross_cats_sorted":["cs.AI","cs.LG"],"title_canon_sha256":"8ec44ecedeb0120a6e4902eb619a55457ce27364e8b1acb555afec98ad4f9b62","abstract_canon_sha256":"2118567468d8cfad1b4c0afd8dfb6396cd45d1c405d8c926d2a92de158559a4e"},"schema_version":"1.0"},"canonical_sha256":"aea9becdc7572519dc961b17cedc010f9d0cdd82f0f6456f29777a357bb356a7","source":{"kind":"arxiv","id":"2110.02307","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2110.02307","created_at":"2026-07-05T03:20:25Z"},{"alias_kind":"arxiv_version","alias_value":"2110.02307v1","created_at":"2026-07-05T03:20:25Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2110.02307","created_at":"2026-07-05T03:20:25Z"},{"alias_kind":"pith_short_12","alias_value":"V2U35TOHK4SR","created_at":"2026-07-05T03:20:25Z"},{"alias_kind":"pith_short_16","alias_value":"V2U35TOHK4SRTXEW","created_at":"2026-07-05T03:20:25Z"},{"alias_kind":"pith_short_8","alias_value":"V2U35TOH","created_at":"2026-07-05T03:20:25Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2021:V2U35TOHK4SRTXEWDML45XABB6","target":"record","payload":{"canonical_record":{"source":{"id":"2110.02307","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2021-10-05T19:11:11Z","cross_cats_sorted":["cs.AI","cs.LG"],"title_canon_sha256":"8ec44ecedeb0120a6e4902eb619a55457ce27364e8b1acb555afec98ad4f9b62","abstract_canon_sha256":"2118567468d8cfad1b4c0afd8dfb6396cd45d1c405d8c926d2a92de158559a4e"},"schema_version":"1.0"},"canonical_sha256":"aea9becdc7572519dc961b17cedc010f9d0cdd82f0f6456f29777a357bb356a7","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T03:20:25.092304Z","signature_b64":"f5mvlz5JdGzx/6JPMLRD03Vr3MJPmg+/+FPUgO4U9TQE/EYbZtsj5wEkC8JjrCk9mDvqy0m1onF4NnfuHqEuDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"aea9becdc7572519dc961b17cedc010f9d0cdd82f0f6456f29777a357bb356a7","last_reissued_at":"2026-07-05T03:20:25.091923Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T03:20:25.091923Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2110.02307","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-05T03:20:25Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"WM+E2Eqjt2ASsQI/gPywwmDISwRuFrLYK3EKUtWDML7bJtSw7wtq4Xoxm/fz2VI4WvcCm74Frq79coyENRuQBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-04T00:59:32.189847Z"},"content_sha256":"52fea2edbfb94fe68c4200a3dd426f86244087a18e645b646240a2605f716416","schema_version":"1.0","event_id":"sha256:52fea2edbfb94fe68c4200a3dd426f86244087a18e645b646240a2605f716416"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2021:V2U35TOHK4SRTXEWDML45XABB6","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Coarsening Optimization for Differentiable Programming","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.AI","cs.LG"],"primary_cat":"cs.PL","authors_text":"Alanna Tempest, Christy Warden, Emilio Arroyo-Fang, Erik Meijer, Guoqiang Zhang, Irene Dea, Johann George, Melissa Grueter, Neal Gafter, Samantha Andow, Shannon Yang, Steffi Stumpos, Xipeng Shen","submitted_at":"2021-10-05T19:11:11Z","abstract_excerpt":"This paper presents a novel optimization for differentiable programming named coarsening optimization. It offers a systematic way to synergize symbolic differentiation and algorithmic differentiation (AD). Through it, the granularity of the computations differentiated by each step in AD can become much larger than a single operation, and hence lead to much reduced runtime computations and data allocations in AD. To circumvent the difficulties that control flow creates to symbolic differentiation in coarsening, this work introduces phi-calculus, a novel method to allow symbolic reasoning and di"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2110.02307","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/2110.02307/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-05T03:20:25Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"L0vOY1XNMmo1Y+vGIfqmwc8Tq+PWQ2k6uFE/KNk7aXULAWB0TLeulFFSRspT72ST0TWuh7EIXhU5jFW8H8d2Aw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-04T00:59:32.191400Z"},"content_sha256":"9ddf77fccdf6b0acd8633a68c0b8942a162d836dfd08e524c02a63a79a2e160b","schema_version":"1.0","event_id":"sha256:9ddf77fccdf6b0acd8633a68c0b8942a162d836dfd08e524c02a63a79a2e160b"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/V2U35TOHK4SRTXEWDML45XABB6/bundle.json","state_url":"https://pith.science/pith/V2U35TOHK4SRTXEWDML45XABB6/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/V2U35TOHK4SRTXEWDML45XABB6/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-04T00:59:32Z","links":{"resolver":"https://pith.science/pith/V2U35TOHK4SRTXEWDML45XABB6","bundle":"https://pith.science/pith/V2U35TOHK4SRTXEWDML45XABB6/bundle.json","state":"https://pith.science/pith/V2U35TOHK4SRTXEWDML45XABB6/state.json","well_known_bundle":"https://pith.science/.well-known/pith/V2U35TOHK4SRTXEWDML45XABB6/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2021:V2U35TOHK4SRTXEWDML45XABB6","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":"2118567468d8cfad1b4c0afd8dfb6396cd45d1c405d8c926d2a92de158559a4e","cross_cats_sorted":["cs.AI","cs.LG"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2021-10-05T19:11:11Z","title_canon_sha256":"8ec44ecedeb0120a6e4902eb619a55457ce27364e8b1acb555afec98ad4f9b62"},"schema_version":"1.0","source":{"id":"2110.02307","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2110.02307","created_at":"2026-07-05T03:20:25Z"},{"alias_kind":"arxiv_version","alias_value":"2110.02307v1","created_at":"2026-07-05T03:20:25Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2110.02307","created_at":"2026-07-05T03:20:25Z"},{"alias_kind":"pith_short_12","alias_value":"V2U35TOHK4SR","created_at":"2026-07-05T03:20:25Z"},{"alias_kind":"pith_short_16","alias_value":"V2U35TOHK4SRTXEW","created_at":"2026-07-05T03:20:25Z"},{"alias_kind":"pith_short_8","alias_value":"V2U35TOH","created_at":"2026-07-05T03:20:25Z"}],"graph_snapshots":[{"event_id":"sha256:9ddf77fccdf6b0acd8633a68c0b8942a162d836dfd08e524c02a63a79a2e160b","target":"graph","created_at":"2026-07-05T03:20:25Z","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/2110.02307/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"This paper presents a novel optimization for differentiable programming named coarsening optimization. It offers a systematic way to synergize symbolic differentiation and algorithmic differentiation (AD). Through it, the granularity of the computations differentiated by each step in AD can become much larger than a single operation, and hence lead to much reduced runtime computations and data allocations in AD. To circumvent the difficulties that control flow creates to symbolic differentiation in coarsening, this work introduces phi-calculus, a novel method to allow symbolic reasoning and di","authors_text":"Alanna Tempest, Christy Warden, Emilio Arroyo-Fang, Erik Meijer, Guoqiang Zhang, Irene Dea, Johann George, Melissa Grueter, Neal Gafter, Samantha Andow, Shannon Yang, Steffi Stumpos, Xipeng Shen","cross_cats":["cs.AI","cs.LG"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2021-10-05T19:11:11Z","title":"Coarsening Optimization for Differentiable Programming"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2110.02307","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:52fea2edbfb94fe68c4200a3dd426f86244087a18e645b646240a2605f716416","target":"record","created_at":"2026-07-05T03:20:25Z","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":"2118567468d8cfad1b4c0afd8dfb6396cd45d1c405d8c926d2a92de158559a4e","cross_cats_sorted":["cs.AI","cs.LG"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2021-10-05T19:11:11Z","title_canon_sha256":"8ec44ecedeb0120a6e4902eb619a55457ce27364e8b1acb555afec98ad4f9b62"},"schema_version":"1.0","source":{"id":"2110.02307","kind":"arxiv","version":1}},"canonical_sha256":"aea9becdc7572519dc961b17cedc010f9d0cdd82f0f6456f29777a357bb356a7","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"aea9becdc7572519dc961b17cedc010f9d0cdd82f0f6456f29777a357bb356a7","first_computed_at":"2026-07-05T03:20:25.091923Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T03:20:25.091923Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"f5mvlz5JdGzx/6JPMLRD03Vr3MJPmg+/+FPUgO4U9TQE/EYbZtsj5wEkC8JjrCk9mDvqy0m1onF4NnfuHqEuDA==","signature_status":"signed_v1","signed_at":"2026-07-05T03:20:25.092304Z","signed_message":"canonical_sha256_bytes"},"source_id":"2110.02307","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:52fea2edbfb94fe68c4200a3dd426f86244087a18e645b646240a2605f716416","sha256:9ddf77fccdf6b0acd8633a68c0b8942a162d836dfd08e524c02a63a79a2e160b"],"state_sha256":"ec08d26e9b3cce6253d589dca0273fc2e6b75217f101dc7bf0c58a8591290117"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"5T9U//iZp5J9Beeb17Ww4jLfpvvoWaO1Tq0nGLDrbKPwMR/aKITRDyCGYxGJkYZ82YiysZnLcQutZMT9RnmLAQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-04T00:59:32.196560Z","bundle_sha256":"e4030a568070329fe38bba7c9a6eac84ed85d9351f9bf3b66fb8c89ccc3f67f2"}}