{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:ILIOW2F6EUDQGTOLFB5ML5SQTU","short_pith_number":"pith:ILIOW2F6","canonical_record":{"source":{"id":"1905.10206","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.MS","submitted_at":"2019-05-24T12:52:05Z","cross_cats_sorted":[],"title_canon_sha256":"4e741e992f286eb316f3947c0be50dbbdbc771948f97809ec7826bfdc96108ec","abstract_canon_sha256":"a9c48bf5c0b3cf4834afb9063ee0ba31abe2d287f1ae5bd697582a3a15011f36"},"schema_version":"1.0"},"canonical_sha256":"42d0eb68be2507034dcb287ac5f6509d253171b617397c522f6d0aa9d5019ccb","source":{"kind":"arxiv","id":"1905.10206","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1905.10206","created_at":"2026-05-17T23:45:10Z"},{"alias_kind":"arxiv_version","alias_value":"1905.10206v1","created_at":"2026-05-17T23:45:10Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1905.10206","created_at":"2026-05-17T23:45:10Z"},{"alias_kind":"pith_short_12","alias_value":"ILIOW2F6EUDQ","created_at":"2026-05-18T12:33:18Z"},{"alias_kind":"pith_short_16","alias_value":"ILIOW2F6EUDQGTOL","created_at":"2026-05-18T12:33:18Z"},{"alias_kind":"pith_short_8","alias_value":"ILIOW2F6","created_at":"2026-05-18T12:33:18Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:ILIOW2F6EUDQGTOLFB5ML5SQTU","target":"record","payload":{"canonical_record":{"source":{"id":"1905.10206","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.MS","submitted_at":"2019-05-24T12:52:05Z","cross_cats_sorted":[],"title_canon_sha256":"4e741e992f286eb316f3947c0be50dbbdbc771948f97809ec7826bfdc96108ec","abstract_canon_sha256":"a9c48bf5c0b3cf4834afb9063ee0ba31abe2d287f1ae5bd697582a3a15011f36"},"schema_version":"1.0"},"canonical_sha256":"42d0eb68be2507034dcb287ac5f6509d253171b617397c522f6d0aa9d5019ccb","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:45:10.966508Z","signature_b64":"cALRQAW7NFGD9mBFF7s6S2Wk0G4fKgOopIqC0u9ZcxnIfIg5gjB0XgvxbZaNroXGRhe3JsTN+9cVICC05ifwDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"42d0eb68be2507034dcb287ac5f6509d253171b617397c522f6d0aa9d5019ccb","last_reissued_at":"2026-05-17T23:45:10.965833Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:45:10.965833Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1905.10206","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-05-17T23:45:10Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"wM+wbhnMAQxSUbQgmxfEtbnSpFhjyLyXRT/f5c/wa7N3pyDznl6zwfcx9LmaVwvjn0GMs+XcwYGPDasZz8xeAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-30T03:15:46.677826Z"},"content_sha256":"cc05091a9ca0a318f76e98dd9db248f95d1062338e406e2127629de2a1dc3b17","schema_version":"1.0","event_id":"sha256:cc05091a9ca0a318f76e98dd9db248f95d1062338e406e2127629de2a1dc3b17"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:ILIOW2F6EUDQGTOLFB5ML5SQTU","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Landau: language for dynamical systems with automatic differentiation","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.MS","authors_text":"Dmitry Pavlov, Ivan Dolgakov","submitted_at":"2019-05-24T12:52:05Z","abstract_excerpt":"Most numerical solvers used to determine free variables of dynamical systems rely on first-order derivatives of the state of the system w.r.t. the free variables. The number of the free variables can be fairly large. One of the approaches of obtaining those derivatives is the integration of the derivatives simultaneously with the dynamical equations, which is best done with the automatic differentiation technique. Even though there exist many automatic differentiation tools, none have been found to be scalable and usable for practical purposes of dynamic systems modeling. Landau is a Turing in"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1905.10206","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":""},"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-05-17T23:45:10Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"J8wfQFBuAghIedgU85e7zolOJVm0nhlMNymdtvLAyPBnBxCOBWbH96+rngQaBEin5NhjaUphEdIq9xc5sP/8Dw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-30T03:15:46.678443Z"},"content_sha256":"edbb6e35fcd9c0919cadfd2f361341fa2f6c741aa65b9731946f5920c987a1cf","schema_version":"1.0","event_id":"sha256:edbb6e35fcd9c0919cadfd2f361341fa2f6c741aa65b9731946f5920c987a1cf"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/ILIOW2F6EUDQGTOLFB5ML5SQTU/bundle.json","state_url":"https://pith.science/pith/ILIOW2F6EUDQGTOLFB5ML5SQTU/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/ILIOW2F6EUDQGTOLFB5ML5SQTU/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-06-30T03:15:46Z","links":{"resolver":"https://pith.science/pith/ILIOW2F6EUDQGTOLFB5ML5SQTU","bundle":"https://pith.science/pith/ILIOW2F6EUDQGTOLFB5ML5SQTU/bundle.json","state":"https://pith.science/pith/ILIOW2F6EUDQGTOLFB5ML5SQTU/state.json","well_known_bundle":"https://pith.science/.well-known/pith/ILIOW2F6EUDQGTOLFB5ML5SQTU/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:ILIOW2F6EUDQGTOLFB5ML5SQTU","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":"a9c48bf5c0b3cf4834afb9063ee0ba31abe2d287f1ae5bd697582a3a15011f36","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.MS","submitted_at":"2019-05-24T12:52:05Z","title_canon_sha256":"4e741e992f286eb316f3947c0be50dbbdbc771948f97809ec7826bfdc96108ec"},"schema_version":"1.0","source":{"id":"1905.10206","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1905.10206","created_at":"2026-05-17T23:45:10Z"},{"alias_kind":"arxiv_version","alias_value":"1905.10206v1","created_at":"2026-05-17T23:45:10Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1905.10206","created_at":"2026-05-17T23:45:10Z"},{"alias_kind":"pith_short_12","alias_value":"ILIOW2F6EUDQ","created_at":"2026-05-18T12:33:18Z"},{"alias_kind":"pith_short_16","alias_value":"ILIOW2F6EUDQGTOL","created_at":"2026-05-18T12:33:18Z"},{"alias_kind":"pith_short_8","alias_value":"ILIOW2F6","created_at":"2026-05-18T12:33:18Z"}],"graph_snapshots":[{"event_id":"sha256:edbb6e35fcd9c0919cadfd2f361341fa2f6c741aa65b9731946f5920c987a1cf","target":"graph","created_at":"2026-05-17T23:45:10Z","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"},"paper":{"abstract_excerpt":"Most numerical solvers used to determine free variables of dynamical systems rely on first-order derivatives of the state of the system w.r.t. the free variables. The number of the free variables can be fairly large. One of the approaches of obtaining those derivatives is the integration of the derivatives simultaneously with the dynamical equations, which is best done with the automatic differentiation technique. Even though there exist many automatic differentiation tools, none have been found to be scalable and usable for practical purposes of dynamic systems modeling. Landau is a Turing in","authors_text":"Dmitry Pavlov, Ivan Dolgakov","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.MS","submitted_at":"2019-05-24T12:52:05Z","title":"Landau: language for dynamical systems with automatic differentiation"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1905.10206","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:cc05091a9ca0a318f76e98dd9db248f95d1062338e406e2127629de2a1dc3b17","target":"record","created_at":"2026-05-17T23:45:10Z","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":"a9c48bf5c0b3cf4834afb9063ee0ba31abe2d287f1ae5bd697582a3a15011f36","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.MS","submitted_at":"2019-05-24T12:52:05Z","title_canon_sha256":"4e741e992f286eb316f3947c0be50dbbdbc771948f97809ec7826bfdc96108ec"},"schema_version":"1.0","source":{"id":"1905.10206","kind":"arxiv","version":1}},"canonical_sha256":"42d0eb68be2507034dcb287ac5f6509d253171b617397c522f6d0aa9d5019ccb","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"42d0eb68be2507034dcb287ac5f6509d253171b617397c522f6d0aa9d5019ccb","first_computed_at":"2026-05-17T23:45:10.965833Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:45:10.965833Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"cALRQAW7NFGD9mBFF7s6S2Wk0G4fKgOopIqC0u9ZcxnIfIg5gjB0XgvxbZaNroXGRhe3JsTN+9cVICC05ifwDQ==","signature_status":"signed_v1","signed_at":"2026-05-17T23:45:10.966508Z","signed_message":"canonical_sha256_bytes"},"source_id":"1905.10206","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:cc05091a9ca0a318f76e98dd9db248f95d1062338e406e2127629de2a1dc3b17","sha256:edbb6e35fcd9c0919cadfd2f361341fa2f6c741aa65b9731946f5920c987a1cf"],"state_sha256":"f3291aa394a396ea6f82ed40df6ed031bb942bbbbf6d731a060bd64ce3af62e5"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"lDDQgN0AjWezSEXExMy8hYFkPue5NkkrSZVRJAO7VN/P/7/BVKKSBTaxGZm4idNlFN1Pq0vU8R74uodjrHZdBg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-30T03:15:46.681708Z","bundle_sha256":"65d9084958b51db45156027535a15e47440f8e01a2fa0fdbbb5d063d063cf8d5"}}