{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:KDYGH4D64SO5P6EPTOGWEOTGYT","short_pith_number":"pith:KDYGH4D6","canonical_record":{"source":{"id":"1902.03319","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2019-02-08T22:55:30Z","cross_cats_sorted":["math.OC"],"title_canon_sha256":"162905284c9bae6c120926640e201f870d18620f5e75bbe8575d95866b10a287","abstract_canon_sha256":"c87752c1c6fd287397f0c299d3c45783281bfbed7a1d62e33a9f4ee0ffa970e4"},"schema_version":"1.0"},"canonical_sha256":"50f063f07ee49dd7f88f9b8d623a66c4cbf6770c77ca970a71514b99f33e7eae","source":{"kind":"arxiv","id":"1902.03319","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1902.03319","created_at":"2026-05-17T23:41:45Z"},{"alias_kind":"arxiv_version","alias_value":"1902.03319v2","created_at":"2026-05-17T23:41:45Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1902.03319","created_at":"2026-05-17T23:41:45Z"},{"alias_kind":"pith_short_12","alias_value":"KDYGH4D64SO5","created_at":"2026-05-18T12:33:21Z"},{"alias_kind":"pith_short_16","alias_value":"KDYGH4D64SO5P6EP","created_at":"2026-05-18T12:33:21Z"},{"alias_kind":"pith_short_8","alias_value":"KDYGH4D6","created_at":"2026-05-18T12:33:21Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:KDYGH4D64SO5P6EPTOGWEOTGYT","target":"record","payload":{"canonical_record":{"source":{"id":"1902.03319","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2019-02-08T22:55:30Z","cross_cats_sorted":["math.OC"],"title_canon_sha256":"162905284c9bae6c120926640e201f870d18620f5e75bbe8575d95866b10a287","abstract_canon_sha256":"c87752c1c6fd287397f0c299d3c45783281bfbed7a1d62e33a9f4ee0ffa970e4"},"schema_version":"1.0"},"canonical_sha256":"50f063f07ee49dd7f88f9b8d623a66c4cbf6770c77ca970a71514b99f33e7eae","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:41:45.120803Z","signature_b64":"q9H4OPlAUv+kPC/fU9MPw7GP3JQ7M9xF59c4eG4mN1kPZfz1JMlr93RgIi6VbhQUstzYZoOVKyJBbrero5IEBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"50f063f07ee49dd7f88f9b8d623a66c4cbf6770c77ca970a71514b99f33e7eae","last_reissued_at":"2026-05-17T23:41:45.120289Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:41:45.120289Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1902.03319","source_version":2,"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:41:45Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"+3trPFigMqBsU0TcwOTLE52j7/T7GqdIuJvGJRwPRtN4JT0YsBsq6+GxQu03MlCFB3oWLGs2gI3BTLRgKuXuAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-04T17:06:10.745170Z"},"content_sha256":"8be937c8b4b8676f4526d07bcd7fe88fa5e1ed6da7c27c63f421230aa720d62b","schema_version":"1.0","event_id":"sha256:8be937c8b4b8676f4526d07bcd7fe88fa5e1ed6da7c27c63f421230aa720d62b"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:KDYGH4D64SO5P6EPTOGWEOTGYT","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A Differentiable Augmented Lagrangian Method for Bilevel Nonlinear Optimization","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.OC"],"primary_cat":"cs.RO","authors_text":"Benoit Landry, Marco Pavone, Zachary Manchester","submitted_at":"2019-02-08T22:55:30Z","abstract_excerpt":"Many problems in modern robotics can be addressed by modeling them as bilevel optimization problems. In this work, we leverage augmented Lagrangian methods and recent advances in automatic differentiation to develop a general-purpose nonlinear optimization solver that is well suited to bilevel optimization. We then demonstrate the validity and scalability of our algorithm with two representative robotic problems, namely robust control and parameter estimation for a system involving contact. We stress the general nature of the algorithm and its potential relevance to many other problems in robo"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1902.03319","kind":"arxiv","version":2},"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:41:45Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ffCD/A9MOOyLPHc8dRL0h5mpE3rrD65TVyb4dsbFBGXWklJiOZ0ypDk1Jpv2WtGDhfnUX0S17EbQcnZJn7loDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-04T17:06:10.745551Z"},"content_sha256":"4936b156347c91418af35a7f8b50f2f31b54e5a1027503141f4cd646fe8e396d","schema_version":"1.0","event_id":"sha256:4936b156347c91418af35a7f8b50f2f31b54e5a1027503141f4cd646fe8e396d"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/KDYGH4D64SO5P6EPTOGWEOTGYT/bundle.json","state_url":"https://pith.science/pith/KDYGH4D64SO5P6EPTOGWEOTGYT/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/KDYGH4D64SO5P6EPTOGWEOTGYT/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-04T17:06:10Z","links":{"resolver":"https://pith.science/pith/KDYGH4D64SO5P6EPTOGWEOTGYT","bundle":"https://pith.science/pith/KDYGH4D64SO5P6EPTOGWEOTGYT/bundle.json","state":"https://pith.science/pith/KDYGH4D64SO5P6EPTOGWEOTGYT/state.json","well_known_bundle":"https://pith.science/.well-known/pith/KDYGH4D64SO5P6EPTOGWEOTGYT/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:KDYGH4D64SO5P6EPTOGWEOTGYT","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":"c87752c1c6fd287397f0c299d3c45783281bfbed7a1d62e33a9f4ee0ffa970e4","cross_cats_sorted":["math.OC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2019-02-08T22:55:30Z","title_canon_sha256":"162905284c9bae6c120926640e201f870d18620f5e75bbe8575d95866b10a287"},"schema_version":"1.0","source":{"id":"1902.03319","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1902.03319","created_at":"2026-05-17T23:41:45Z"},{"alias_kind":"arxiv_version","alias_value":"1902.03319v2","created_at":"2026-05-17T23:41:45Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1902.03319","created_at":"2026-05-17T23:41:45Z"},{"alias_kind":"pith_short_12","alias_value":"KDYGH4D64SO5","created_at":"2026-05-18T12:33:21Z"},{"alias_kind":"pith_short_16","alias_value":"KDYGH4D64SO5P6EP","created_at":"2026-05-18T12:33:21Z"},{"alias_kind":"pith_short_8","alias_value":"KDYGH4D6","created_at":"2026-05-18T12:33:21Z"}],"graph_snapshots":[{"event_id":"sha256:4936b156347c91418af35a7f8b50f2f31b54e5a1027503141f4cd646fe8e396d","target":"graph","created_at":"2026-05-17T23:41:45Z","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":"Many problems in modern robotics can be addressed by modeling them as bilevel optimization problems. In this work, we leverage augmented Lagrangian methods and recent advances in automatic differentiation to develop a general-purpose nonlinear optimization solver that is well suited to bilevel optimization. We then demonstrate the validity and scalability of our algorithm with two representative robotic problems, namely robust control and parameter estimation for a system involving contact. We stress the general nature of the algorithm and its potential relevance to many other problems in robo","authors_text":"Benoit Landry, Marco Pavone, Zachary Manchester","cross_cats":["math.OC"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2019-02-08T22:55:30Z","title":"A Differentiable Augmented Lagrangian Method for Bilevel Nonlinear Optimization"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1902.03319","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:8be937c8b4b8676f4526d07bcd7fe88fa5e1ed6da7c27c63f421230aa720d62b","target":"record","created_at":"2026-05-17T23:41:45Z","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":"c87752c1c6fd287397f0c299d3c45783281bfbed7a1d62e33a9f4ee0ffa970e4","cross_cats_sorted":["math.OC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2019-02-08T22:55:30Z","title_canon_sha256":"162905284c9bae6c120926640e201f870d18620f5e75bbe8575d95866b10a287"},"schema_version":"1.0","source":{"id":"1902.03319","kind":"arxiv","version":2}},"canonical_sha256":"50f063f07ee49dd7f88f9b8d623a66c4cbf6770c77ca970a71514b99f33e7eae","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"50f063f07ee49dd7f88f9b8d623a66c4cbf6770c77ca970a71514b99f33e7eae","first_computed_at":"2026-05-17T23:41:45.120289Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:41:45.120289Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"q9H4OPlAUv+kPC/fU9MPw7GP3JQ7M9xF59c4eG4mN1kPZfz1JMlr93RgIi6VbhQUstzYZoOVKyJBbrero5IEBw==","signature_status":"signed_v1","signed_at":"2026-05-17T23:41:45.120803Z","signed_message":"canonical_sha256_bytes"},"source_id":"1902.03319","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:8be937c8b4b8676f4526d07bcd7fe88fa5e1ed6da7c27c63f421230aa720d62b","sha256:4936b156347c91418af35a7f8b50f2f31b54e5a1027503141f4cd646fe8e396d"],"state_sha256":"1caecc4ac4e859b8584368c5688e1bb078023ba98b03f3aa269811dbcd60a746"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"9sP/4zB97lbc0dAF/f38OGIY/hSBpRAoqy11FtHiHIudNew4Vb26nvb/ucwUNHcN0TihLGcitL7fQ76Eoo3eAw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-04T17:06:10.747692Z","bundle_sha256":"b16ef4b99821167e375dd97885d0ca44ccf33105dbebae001d1968bea9dd4dda"}}