{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2023:ZYTXY56JXYLL5PO3YL46LABG46","short_pith_number":"pith:ZYTXY56J","schema_version":"1.0","canonical_sha256":"ce277c77c9be16bebddbc2f9e58026e791d0bcd841a2e59a0deda5cfa0183b26","source":{"kind":"arxiv","id":"2312.05873","version":1},"attestation_state":"computed","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"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"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"},"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"},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2312.05873","created_at":"2026-07-05T07:22:34.455986+00:00"},{"alias_kind":"arxiv_version","alias_value":"2312.05873v1","created_at":"2026-07-05T07:22:34.455986+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2312.05873","created_at":"2026-07-05T07:22:34.455986+00:00"},{"alias_kind":"pith_short_12","alias_value":"ZYTXY56JXYLL","created_at":"2026-07-05T07:22:34.455986+00:00"},{"alias_kind":"pith_short_16","alias_value":"ZYTXY56JXYLL5PO3","created_at":"2026-07-05T07:22:34.455986+00:00"},{"alias_kind":"pith_short_8","alias_value":"ZYTXY56J","created_at":"2026-07-05T07:22:34.455986+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/ZYTXY56JXYLL5PO3YL46LABG46","json":"https://pith.science/pith/ZYTXY56JXYLL5PO3YL46LABG46.json","graph_json":"https://pith.science/api/pith-number/ZYTXY56JXYLL5PO3YL46LABG46/graph.json","events_json":"https://pith.science/api/pith-number/ZYTXY56JXYLL5PO3YL46LABG46/events.json","paper":"https://pith.science/paper/ZYTXY56J"},"agent_actions":{"view_html":"https://pith.science/pith/ZYTXY56JXYLL5PO3YL46LABG46","download_json":"https://pith.science/pith/ZYTXY56JXYLL5PO3YL46LABG46.json","view_paper":"https://pith.science/paper/ZYTXY56J","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2312.05873&json=true","fetch_graph":"https://pith.science/api/pith-number/ZYTXY56JXYLL5PO3YL46LABG46/graph.json","fetch_events":"https://pith.science/api/pith-number/ZYTXY56JXYLL5PO3YL46LABG46/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/ZYTXY56JXYLL5PO3YL46LABG46/action/timestamp_anchor","attest_storage":"https://pith.science/pith/ZYTXY56JXYLL5PO3YL46LABG46/action/storage_attestation","attest_author":"https://pith.science/pith/ZYTXY56JXYLL5PO3YL46LABG46/action/author_attestation","sign_citation":"https://pith.science/pith/ZYTXY56JXYLL5PO3YL46LABG46/action/citation_signature","submit_replication":"https://pith.science/pith/ZYTXY56JXYLL5PO3YL46LABG46/action/replication_record"}},"created_at":"2026-07-05T07:22:34.455986+00:00","updated_at":"2026-07-05T07:22:34.455986+00:00"}