{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2023:ZYTXY56JXYLL5PO3YL46LABG46","short_pith_number":"pith:ZYTXY56J","canonical_record":{"source":{"id":"2312.05873","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"eess.SY","submitted_at":"2023-12-10T13:03:58Z","cross_cats_sorted":["cs.AI","cs.LG","cs.RO","cs.SC","cs.SY"],"title_canon_sha256":"2244413b6c07be92b185a320f0182ca543da8c1deb20e8602353e1c986ea3169","abstract_canon_sha256":"99e9c0c492da70a09cbc7f5e779e5151ac9f0cde20b2996b69fed2382fce6961"},"schema_version":"1.0"},"canonical_sha256":"ce277c77c9be16bebddbc2f9e58026e791d0bcd841a2e59a0deda5cfa0183b26","source":{"kind":"arxiv","id":"2312.05873","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2312.05873","created_at":"2026-07-05T07:22:34Z"},{"alias_kind":"arxiv_version","alias_value":"2312.05873v1","created_at":"2026-07-05T07:22:34Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2312.05873","created_at":"2026-07-05T07:22:34Z"},{"alias_kind":"pith_short_12","alias_value":"ZYTXY56JXYLL","created_at":"2026-07-05T07:22:34Z"},{"alias_kind":"pith_short_16","alias_value":"ZYTXY56JXYLL5PO3","created_at":"2026-07-05T07:22:34Z"},{"alias_kind":"pith_short_8","alias_value":"ZYTXY56J","created_at":"2026-07-05T07:22:34Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2023:ZYTXY56JXYLL5PO3YL46LABG46","target":"record","payload":{"canonical_record":{"source":{"id":"2312.05873","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"eess.SY","submitted_at":"2023-12-10T13:03:58Z","cross_cats_sorted":["cs.AI","cs.LG","cs.RO","cs.SC","cs.SY"],"title_canon_sha256":"2244413b6c07be92b185a320f0182ca543da8c1deb20e8602353e1c986ea3169","abstract_canon_sha256":"99e9c0c492da70a09cbc7f5e779e5151ac9f0cde20b2996b69fed2382fce6961"},"schema_version":"1.0"},"canonical_sha256":"ce277c77c9be16bebddbc2f9e58026e791d0bcd841a2e59a0deda5cfa0183b26","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T07:22:34.456394Z","signature_b64":"09E+5P2FwGbxUZZh4rg4XC6vegqyJOkCS7fhJtXsW4cu84/LCsZYBmvhIFpV4EXOEtbtDtG9AkhQ+2LVJHTkDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"ce277c77c9be16bebddbc2f9e58026e791d0bcd841a2e59a0deda5cfa0183b26","last_reissued_at":"2026-07-05T07:22:34.455924Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T07:22:34.455924Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2312.05873","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-05T07:22:34Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"8fgnZAzwt/ZQBoyX1sxVHwH0YbayjHzDGR32exZMQHUWEg3sroY4rdcWfXLvM6vFIzEJU2fLLgwSq0XMJQsGDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-20T09:24:49.260358Z"},"content_sha256":"e1ecc36e7c2823de3b803e723afa9f3f122754b94160e41a3dc6c3469a8c3e72","schema_version":"1.0","event_id":"sha256:e1ecc36e7c2823de3b803e723afa9f3f122754b94160e41a3dc6c3469a8c3e72"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2023:ZYTXY56JXYLL5PO3YL46LABG46","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Learning for CasADi: Data-driven Models in Numerical Optimization","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.AI","cs.LG","cs.RO","cs.SC","cs.SY"],"primary_cat":"eess.SY","authors_text":"Joel Andersson, Jon Arrizabalaga, Marco Pavone, Markus Ryll, Tim Salzmann","submitted_at":"2023-12-10T13:03:58Z","abstract_excerpt":"While real-world problems are often challenging to analyze analytically, deep learning excels in modeling complex processes from data. Existing optimization frameworks like CasADi facilitate seamless usage of solvers but face challenges when integrating learned process models into numerical optimizations. To address this gap, we present the Learning for CasADi (L4CasADi) framework, enabling the seamless integration of PyTorch-learned models with CasADi for efficient and potentially hardware-accelerated numerical optimization. The applicability of L4CasADi is demonstrated with two tutorial exam"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2312.05873","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/2312.05873/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-05T07:22:34Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"UFaHgczE4ISf3LIpwKSRJuVlr9jz65SLNNs4yOu58Ebuk6WP6bmZnegssBCVgpsrFu6E/3tlW3qogVdnbui0AQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-20T09:24:49.260739Z"},"content_sha256":"40e019faa888b071165ca65d202fe311147b841bedeff6d01ceef54523ea59e6","schema_version":"1.0","event_id":"sha256:40e019faa888b071165ca65d202fe311147b841bedeff6d01ceef54523ea59e6"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/ZYTXY56JXYLL5PO3YL46LABG46/bundle.json","state_url":"https://pith.science/pith/ZYTXY56JXYLL5PO3YL46LABG46/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/ZYTXY56JXYLL5PO3YL46LABG46/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-07-20T09:24:49Z","links":{"resolver":"https://pith.science/pith/ZYTXY56JXYLL5PO3YL46LABG46","bundle":"https://pith.science/pith/ZYTXY56JXYLL5PO3YL46LABG46/bundle.json","state":"https://pith.science/pith/ZYTXY56JXYLL5PO3YL46LABG46/state.json","well_known_bundle":"https://pith.science/.well-known/pith/ZYTXY56JXYLL5PO3YL46LABG46/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:ZYTXY56JXYLL5PO3YL46LABG46","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":"99e9c0c492da70a09cbc7f5e779e5151ac9f0cde20b2996b69fed2382fce6961","cross_cats_sorted":["cs.AI","cs.LG","cs.RO","cs.SC","cs.SY"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"eess.SY","submitted_at":"2023-12-10T13:03:58Z","title_canon_sha256":"2244413b6c07be92b185a320f0182ca543da8c1deb20e8602353e1c986ea3169"},"schema_version":"1.0","source":{"id":"2312.05873","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2312.05873","created_at":"2026-07-05T07:22:34Z"},{"alias_kind":"arxiv_version","alias_value":"2312.05873v1","created_at":"2026-07-05T07:22:34Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2312.05873","created_at":"2026-07-05T07:22:34Z"},{"alias_kind":"pith_short_12","alias_value":"ZYTXY56JXYLL","created_at":"2026-07-05T07:22:34Z"},{"alias_kind":"pith_short_16","alias_value":"ZYTXY56JXYLL5PO3","created_at":"2026-07-05T07:22:34Z"},{"alias_kind":"pith_short_8","alias_value":"ZYTXY56J","created_at":"2026-07-05T07:22:34Z"}],"graph_snapshots":[{"event_id":"sha256:40e019faa888b071165ca65d202fe311147b841bedeff6d01ceef54523ea59e6","target":"graph","created_at":"2026-07-05T07:22:34Z","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/2312.05873/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"While real-world problems are often challenging to analyze analytically, deep learning excels in modeling complex processes from data. Existing optimization frameworks like CasADi facilitate seamless usage of solvers but face challenges when integrating learned process models into numerical optimizations. To address this gap, we present the Learning for CasADi (L4CasADi) framework, enabling the seamless integration of PyTorch-learned models with CasADi for efficient and potentially hardware-accelerated numerical optimization. The applicability of L4CasADi is demonstrated with two tutorial exam","authors_text":"Joel Andersson, Jon Arrizabalaga, Marco Pavone, Markus Ryll, Tim Salzmann","cross_cats":["cs.AI","cs.LG","cs.RO","cs.SC","cs.SY"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"eess.SY","submitted_at":"2023-12-10T13:03:58Z","title":"Learning for CasADi: Data-driven Models in Numerical Optimization"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2312.05873","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:e1ecc36e7c2823de3b803e723afa9f3f122754b94160e41a3dc6c3469a8c3e72","target":"record","created_at":"2026-07-05T07:22:34Z","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":"99e9c0c492da70a09cbc7f5e779e5151ac9f0cde20b2996b69fed2382fce6961","cross_cats_sorted":["cs.AI","cs.LG","cs.RO","cs.SC","cs.SY"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"eess.SY","submitted_at":"2023-12-10T13:03:58Z","title_canon_sha256":"2244413b6c07be92b185a320f0182ca543da8c1deb20e8602353e1c986ea3169"},"schema_version":"1.0","source":{"id":"2312.05873","kind":"arxiv","version":1}},"canonical_sha256":"ce277c77c9be16bebddbc2f9e58026e791d0bcd841a2e59a0deda5cfa0183b26","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"ce277c77c9be16bebddbc2f9e58026e791d0bcd841a2e59a0deda5cfa0183b26","first_computed_at":"2026-07-05T07:22:34.455924Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T07:22:34.455924Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"09E+5P2FwGbxUZZh4rg4XC6vegqyJOkCS7fhJtXsW4cu84/LCsZYBmvhIFpV4EXOEtbtDtG9AkhQ+2LVJHTkDQ==","signature_status":"signed_v1","signed_at":"2026-07-05T07:22:34.456394Z","signed_message":"canonical_sha256_bytes"},"source_id":"2312.05873","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:e1ecc36e7c2823de3b803e723afa9f3f122754b94160e41a3dc6c3469a8c3e72","sha256:40e019faa888b071165ca65d202fe311147b841bedeff6d01ceef54523ea59e6"],"state_sha256":"256d7b158d90d73bb74d8b5680dc20d5dd739c3a83bbfee7be65b4c93e7a6fa8"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"HehsRIu/i4Yenucfnb2rHEt2NxOsxqGcJPsZPphK3SyxItAwJr/A+H7iCyTWQUVXXocCNbY+A1CpXN/tdNFkCg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-20T09:24:49.262869Z","bundle_sha256":"3cba7bd5e1d3531b3b99a7ff4050f9a9395ae1a72f8a24b3fbd0f4e5bda75433"}}