{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:OMEUKK7BTY2YDSMFSZJVIR3S64","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":"3c77f0742ecb66292711be42a80d089a0a5d1c964b0d7b6caf7791b3e9fb8f9c","cross_cats_sorted":["cs.NA","math.NA","stat.ML"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2023-09-06T14:59:38Z","title_canon_sha256":"d4dbdc13d7554a82b435a81b4663badb218144f750838a5ea7f8c337d9ae16c6"},"schema_version":"1.0","source":{"id":"2309.03060","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2309.03060","created_at":"2026-07-05T07:18:11Z"},{"alias_kind":"arxiv_version","alias_value":"2309.03060v2","created_at":"2026-07-05T07:18:11Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2309.03060","created_at":"2026-07-05T07:18:11Z"},{"alias_kind":"pith_short_12","alias_value":"OMEUKK7BTY2Y","created_at":"2026-07-05T07:18:11Z"},{"alias_kind":"pith_short_16","alias_value":"OMEUKK7BTY2YDSMF","created_at":"2026-07-05T07:18:11Z"},{"alias_kind":"pith_short_8","alias_value":"OMEUKK7B","created_at":"2026-07-05T07:18:11Z"}],"graph_snapshots":[{"event_id":"sha256:9748651e6afe7058b7cf557a520d07f17a8b4e8b4d2699445db71c45e7fe41c1","target":"graph","created_at":"2026-07-05T07:18:11Z","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/2309.03060/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Many areas of machine learning and science involve large linear algebra problems, such as eigendecompositions, solving linear systems, computing matrix exponentials, and trace estimation. The matrices involved often have Kronecker, convolutional, block diagonal, sum, or product structure. In this paper, we propose a simple but general framework for large-scale linear algebra problems in machine learning, named CoLA (Compositional Linear Algebra). By combining a linear operator abstraction with compositional dispatch rules, CoLA automatically constructs memory and runtime efficient numerical al","authors_text":"Andres Potapczynski, Andrew Gordon Wilson, Geoff Pleiss, Marc Finzi","cross_cats":["cs.NA","math.NA","stat.ML"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2023-09-06T14:59:38Z","title":"CoLA: Exploiting Compositional Structure for Automatic and Efficient Numerical Linear Algebra"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2309.03060","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:3df17b3f6afea93bbede102263c49e1b939bc18a6ad12be5639456018071021a","target":"record","created_at":"2026-07-05T07:18:11Z","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":"3c77f0742ecb66292711be42a80d089a0a5d1c964b0d7b6caf7791b3e9fb8f9c","cross_cats_sorted":["cs.NA","math.NA","stat.ML"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2023-09-06T14:59:38Z","title_canon_sha256":"d4dbdc13d7554a82b435a81b4663badb218144f750838a5ea7f8c337d9ae16c6"},"schema_version":"1.0","source":{"id":"2309.03060","kind":"arxiv","version":2}},"canonical_sha256":"7309452be19e3581c9859653544772f721d89a2bb533902ebca7957e35ad5de5","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"7309452be19e3581c9859653544772f721d89a2bb533902ebca7957e35ad5de5","first_computed_at":"2026-07-05T07:18:11.785366Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T07:18:11.785366Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"WPpj/PWULY35qeDE8Taa7Qj5GGDH/dGOc/5dsasjlHn8jSmrbjHgpqA30036NHPq+DRvh7nJsQb3VGQgFFjDBw==","signature_status":"signed_v1","signed_at":"2026-07-05T07:18:11.785891Z","signed_message":"canonical_sha256_bytes"},"source_id":"2309.03060","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:3df17b3f6afea93bbede102263c49e1b939bc18a6ad12be5639456018071021a","sha256:9748651e6afe7058b7cf557a520d07f17a8b4e8b4d2699445db71c45e7fe41c1"],"state_sha256":"1b6a2842cb24bf9ac8d4da82c1cca5aa77950259a9f127695449caf6cd481363"}