{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:DIX63M3XGGEW5HZEYGLLH6XEQH","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":"0334456620d47df524a24c2738895a5dc9c157dd47cb7f2fd523ca851326412a","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.MS","submitted_at":"2024-04-25T16:41:12Z","title_canon_sha256":"a49aff3e0149d7d2f3d1ad832cec9b134450041b2b18d8535a0c8d65aecf3855"},"schema_version":"1.0","source":{"id":"2404.16730","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2404.16730","created_at":"2026-07-05T10:06:40Z"},{"alias_kind":"arxiv_version","alias_value":"2404.16730v2","created_at":"2026-07-05T10:06:40Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2404.16730","created_at":"2026-07-05T10:06:40Z"},{"alias_kind":"pith_short_12","alias_value":"DIX63M3XGGEW","created_at":"2026-07-05T10:06:40Z"},{"alias_kind":"pith_short_16","alias_value":"DIX63M3XGGEW5HZE","created_at":"2026-07-05T10:06:40Z"},{"alias_kind":"pith_short_8","alias_value":"DIX63M3X","created_at":"2026-07-05T10:06:40Z"}],"graph_snapshots":[{"event_id":"sha256:f7d8ba518c637b573e8f401de3a11a13a58957aa4848815886aff897c709c4a3","target":"graph","created_at":"2026-07-05T10:06:40Z","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/2404.16730/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"From FORTRAN to NumPy, tensors have revolutionized how we express computation. However, tensors in these, and almost all prominent systems, can only handle dense rectilinear integer grids. Real world tensors often contain underlying structure, such as sparsity, runs of repeated values, or symmetry. Support for structured data is fragmented and incomplete. Existing frameworks limit the tensor structures and program control flow they support to better simplify the problem.\n  In this work, we propose a new programming language, Finch, which supports both flexible control flow and diverse data str","authors_text":"Changwan Hong, Kyle Deeds, Radha Patel, Saman Amarasinghe, Teodoro Fields Collin, Willow Ahrens","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.MS","submitted_at":"2024-04-25T16:41:12Z","title":"Finch: Sparse and Structured Tensor Programming with Control Flow"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2404.16730","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:e9aac7c3591be42e44da413acaa72efb07a397380b59ce4a9ad1027e35a3ba1b","target":"record","created_at":"2026-07-05T10:06:40Z","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":"0334456620d47df524a24c2738895a5dc9c157dd47cb7f2fd523ca851326412a","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.MS","submitted_at":"2024-04-25T16:41:12Z","title_canon_sha256":"a49aff3e0149d7d2f3d1ad832cec9b134450041b2b18d8535a0c8d65aecf3855"},"schema_version":"1.0","source":{"id":"2404.16730","kind":"arxiv","version":2}},"canonical_sha256":"1a2fedb37731896e9f24c196b3fae481dab44c768f72752582f544d1cebdf31d","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"1a2fedb37731896e9f24c196b3fae481dab44c768f72752582f544d1cebdf31d","first_computed_at":"2026-07-05T10:06:40.213622Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T10:06:40.213622Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"44QDXgobSZZ8YPUsXdLGoDHhg6VoCNj3iigcXwiey6EfS8z4fprL8QJtYTyVgPoEEbhjIBcA2mN0X5VD6dMtCg==","signature_status":"signed_v1","signed_at":"2026-07-05T10:06:40.213985Z","signed_message":"canonical_sha256_bytes"},"source_id":"2404.16730","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:e9aac7c3591be42e44da413acaa72efb07a397380b59ce4a9ad1027e35a3ba1b","sha256:f7d8ba518c637b573e8f401de3a11a13a58957aa4848815886aff897c709c4a3"],"state_sha256":"70d1601da65edcf7e4d3a096122c046cb8112444c0dbd4f55f75520c1c035915"}