{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2021:44IDSHI3C72S5XEFEBXMO5Y24L","short_pith_number":"pith:44IDSHI3","canonical_record":{"source":{"id":"2103.05244","kind":"arxiv","version":3},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.MS","submitted_at":"2021-03-09T06:31:24Z","cross_cats_sorted":["cs.SC","cs.SE"],"title_canon_sha256":"e0e03a4b5a34fd9d0d8c00531f5bcff6bc107f0ab33dc7b1635077d6377c7189","abstract_canon_sha256":"ad534fd95855800017439cdc6311f6d7647b1314790d7f729616ef387e9b14e0"},"schema_version":"1.0"},"canonical_sha256":"e710391d1b17f52edc85206ec7771ae2fff15909227af7e6954ad14af279b027","source":{"kind":"arxiv","id":"2103.05244","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2103.05244","created_at":"2026-07-05T03:55:26Z"},{"alias_kind":"arxiv_version","alias_value":"2103.05244v3","created_at":"2026-07-05T03:55:26Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2103.05244","created_at":"2026-07-05T03:55:26Z"},{"alias_kind":"pith_short_12","alias_value":"44IDSHI3C72S","created_at":"2026-07-05T03:55:26Z"},{"alias_kind":"pith_short_16","alias_value":"44IDSHI3C72S5XEF","created_at":"2026-07-05T03:55:26Z"},{"alias_kind":"pith_short_8","alias_value":"44IDSHI3","created_at":"2026-07-05T03:55:26Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2021:44IDSHI3C72S5XEFEBXMO5Y24L","target":"record","payload":{"canonical_record":{"source":{"id":"2103.05244","kind":"arxiv","version":3},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.MS","submitted_at":"2021-03-09T06:31:24Z","cross_cats_sorted":["cs.SC","cs.SE"],"title_canon_sha256":"e0e03a4b5a34fd9d0d8c00531f5bcff6bc107f0ab33dc7b1635077d6377c7189","abstract_canon_sha256":"ad534fd95855800017439cdc6311f6d7647b1314790d7f729616ef387e9b14e0"},"schema_version":"1.0"},"canonical_sha256":"e710391d1b17f52edc85206ec7771ae2fff15909227af7e6954ad14af279b027","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T03:55:26.472580Z","signature_b64":"038u6sYH4kzJiUcm/PNp2s5XEX8XAjaiEg8gSfMVOfahZgzSYuVlPlacUuDYiYQsVRQO90czOQgy2sVKcVi1Ag==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"e710391d1b17f52edc85206ec7771ae2fff15909227af7e6954ad14af279b027","last_reissued_at":"2026-07-05T03:55:26.472046Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T03:55:26.472046Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2103.05244","source_version":3,"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:55:26Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"kKUo12dw1mFE9J+vvcWpXuMe0jWA5KHg2c9TvUPBtgboc40u4xB5v+CLKwRGIx+7de6RH0HaybX5933X3uXSCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-11T17:53:29.149869Z"},"content_sha256":"f15cca51c21d64e7eab5a7abe2710563f30c68799814f2ba82dd57af22ffd069","schema_version":"1.0","event_id":"sha256:f15cca51c21d64e7eab5a7abe2710563f30c68799814f2ba82dd57af22ffd069"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2021:44IDSHI3C72S5XEFEBXMO5Y24L","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"ModelingToolkit: A Composable Graph Transformation System For Equation-Based Modeling","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","headline":"","cross_cats":["cs.SC","cs.SE"],"primary_cat":"cs.MS","authors_text":"Chris Laughman, Chris Rackauckas, Ranjan Anantharaman, Shashi Gowda, Viral Shah, Yingbo Ma","submitted_at":"2021-03-09T06:31:24Z","abstract_excerpt":"Getting good performance out of numerical equation solvers requires that the user has provided stable and efficient functions representing their model. However, users should not be trusted to write good code. In this manuscript we describe ModelingToolkit (MTK), a symbolic equation-based modeling system which allows for composable transformations to generate stable, efficient, and parallelized model implementations. MTK blurs the lines of traditional symbolic computing by acting directly on a user's numerical code. We show the ability to apply graph algorithms for automatically parallelizing a"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2103.05244","kind":"arxiv","version":3},"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/2103.05244/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:55:26Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"siqfRFQuppwVPekChq/tqzVeex9Sh7/WVa+KUXofI5fYajEmJiqy2O//A1Zqp0s0bMpL8H8we8zXdqaA5M//Cw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-11T17:53:29.150242Z"},"content_sha256":"52cf85430cdbc8721ac2264746b4eafe87db2aed5679296c2ed4eebb3cb45910","schema_version":"1.0","event_id":"sha256:52cf85430cdbc8721ac2264746b4eafe87db2aed5679296c2ed4eebb3cb45910"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/44IDSHI3C72S5XEFEBXMO5Y24L/bundle.json","state_url":"https://pith.science/pith/44IDSHI3C72S5XEFEBXMO5Y24L/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/44IDSHI3C72S5XEFEBXMO5Y24L/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-11T17:53:29Z","links":{"resolver":"https://pith.science/pith/44IDSHI3C72S5XEFEBXMO5Y24L","bundle":"https://pith.science/pith/44IDSHI3C72S5XEFEBXMO5Y24L/bundle.json","state":"https://pith.science/pith/44IDSHI3C72S5XEFEBXMO5Y24L/state.json","well_known_bundle":"https://pith.science/.well-known/pith/44IDSHI3C72S5XEFEBXMO5Y24L/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2021:44IDSHI3C72S5XEFEBXMO5Y24L","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":"ad534fd95855800017439cdc6311f6d7647b1314790d7f729616ef387e9b14e0","cross_cats_sorted":["cs.SC","cs.SE"],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.MS","submitted_at":"2021-03-09T06:31:24Z","title_canon_sha256":"e0e03a4b5a34fd9d0d8c00531f5bcff6bc107f0ab33dc7b1635077d6377c7189"},"schema_version":"1.0","source":{"id":"2103.05244","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2103.05244","created_at":"2026-07-05T03:55:26Z"},{"alias_kind":"arxiv_version","alias_value":"2103.05244v3","created_at":"2026-07-05T03:55:26Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2103.05244","created_at":"2026-07-05T03:55:26Z"},{"alias_kind":"pith_short_12","alias_value":"44IDSHI3C72S","created_at":"2026-07-05T03:55:26Z"},{"alias_kind":"pith_short_16","alias_value":"44IDSHI3C72S5XEF","created_at":"2026-07-05T03:55:26Z"},{"alias_kind":"pith_short_8","alias_value":"44IDSHI3","created_at":"2026-07-05T03:55:26Z"}],"graph_snapshots":[{"event_id":"sha256:52cf85430cdbc8721ac2264746b4eafe87db2aed5679296c2ed4eebb3cb45910","target":"graph","created_at":"2026-07-05T03:55:26Z","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/2103.05244/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Getting good performance out of numerical equation solvers requires that the user has provided stable and efficient functions representing their model. However, users should not be trusted to write good code. In this manuscript we describe ModelingToolkit (MTK), a symbolic equation-based modeling system which allows for composable transformations to generate stable, efficient, and parallelized model implementations. MTK blurs the lines of traditional symbolic computing by acting directly on a user's numerical code. We show the ability to apply graph algorithms for automatically parallelizing a","authors_text":"Chris Laughman, Chris Rackauckas, Ranjan Anantharaman, Shashi Gowda, Viral Shah, Yingbo Ma","cross_cats":["cs.SC","cs.SE"],"headline":"","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.MS","submitted_at":"2021-03-09T06:31:24Z","title":"ModelingToolkit: A Composable Graph Transformation System For Equation-Based Modeling"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2103.05244","kind":"arxiv","version":3},"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:f15cca51c21d64e7eab5a7abe2710563f30c68799814f2ba82dd57af22ffd069","target":"record","created_at":"2026-07-05T03:55:26Z","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":"ad534fd95855800017439cdc6311f6d7647b1314790d7f729616ef387e9b14e0","cross_cats_sorted":["cs.SC","cs.SE"],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.MS","submitted_at":"2021-03-09T06:31:24Z","title_canon_sha256":"e0e03a4b5a34fd9d0d8c00531f5bcff6bc107f0ab33dc7b1635077d6377c7189"},"schema_version":"1.0","source":{"id":"2103.05244","kind":"arxiv","version":3}},"canonical_sha256":"e710391d1b17f52edc85206ec7771ae2fff15909227af7e6954ad14af279b027","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"e710391d1b17f52edc85206ec7771ae2fff15909227af7e6954ad14af279b027","first_computed_at":"2026-07-05T03:55:26.472046Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T03:55:26.472046Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"038u6sYH4kzJiUcm/PNp2s5XEX8XAjaiEg8gSfMVOfahZgzSYuVlPlacUuDYiYQsVRQO90czOQgy2sVKcVi1Ag==","signature_status":"signed_v1","signed_at":"2026-07-05T03:55:26.472580Z","signed_message":"canonical_sha256_bytes"},"source_id":"2103.05244","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:f15cca51c21d64e7eab5a7abe2710563f30c68799814f2ba82dd57af22ffd069","sha256:52cf85430cdbc8721ac2264746b4eafe87db2aed5679296c2ed4eebb3cb45910"],"state_sha256":"a1b5fcf63448ca24b150b64271771b302b227192a02dc22457aa446e2d174845"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Ac6HJoLMxdXETE+8G0II40eeruCOqvOSRZzehrINf6DolPhop8TFbBTlb9glA8llB1GWE1+kFRQxN1Jbst+VDw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-11T17:53:29.152866Z","bundle_sha256":"0ffae000d7bd1a0a4eaa75ad77d1e8ea9cadff41c11f051bf817ef510340c41c"}}