{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2022:YN67GV5RZ3OVGXD27HOGVSFKZN","short_pith_number":"pith:YN67GV5R","canonical_record":{"source":{"id":"2209.07618","kind":"arxiv","version":4},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.GT","submitted_at":"2022-09-15T21:32:23Z","cross_cats_sorted":["cs.AI","cs.MA","cs.SY","eess.SY"],"title_canon_sha256":"70289eccab08f01eb98208a8bebec5349df306c0b5ff202311423d73afad1fb2","abstract_canon_sha256":"000743e069587bafbb4954dd6a2495b32cc84ec9673626108c46bd1916edc177"},"schema_version":"1.0"},"canonical_sha256":"c37df357b1cedd535c7af9dc6ac8aacb5397de8f9d32a3b1b821ef090f41213c","source":{"kind":"arxiv","id":"2209.07618","version":4},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2209.07618","created_at":"2026-07-05T08:18:39Z"},{"alias_kind":"arxiv_version","alias_value":"2209.07618v4","created_at":"2026-07-05T08:18:39Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2209.07618","created_at":"2026-07-05T08:18:39Z"},{"alias_kind":"pith_short_12","alias_value":"YN67GV5RZ3OV","created_at":"2026-07-05T08:18:39Z"},{"alias_kind":"pith_short_16","alias_value":"YN67GV5RZ3OVGXD2","created_at":"2026-07-05T08:18:39Z"},{"alias_kind":"pith_short_8","alias_value":"YN67GV5R","created_at":"2026-07-05T08:18:39Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2022:YN67GV5RZ3OVGXD27HOGVSFKZN","target":"record","payload":{"canonical_record":{"source":{"id":"2209.07618","kind":"arxiv","version":4},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.GT","submitted_at":"2022-09-15T21:32:23Z","cross_cats_sorted":["cs.AI","cs.MA","cs.SY","eess.SY"],"title_canon_sha256":"70289eccab08f01eb98208a8bebec5349df306c0b5ff202311423d73afad1fb2","abstract_canon_sha256":"000743e069587bafbb4954dd6a2495b32cc84ec9673626108c46bd1916edc177"},"schema_version":"1.0"},"canonical_sha256":"c37df357b1cedd535c7af9dc6ac8aacb5397de8f9d32a3b1b821ef090f41213c","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T08:18:39.732634Z","signature_b64":"1nE3wRdVW5lB2Ei9S7RvXVz5qlMUKmIzVqoofQIiauJsuC2UWTmAc5P/Q8t/tintheYDdWME/ROhQV2eRXmMAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"c37df357b1cedd535c7af9dc6ac8aacb5397de8f9d32a3b1b821ef090f41213c","last_reissued_at":"2026-07-05T08:18:39.732140Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T08:18:39.732140Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2209.07618","source_version":4,"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-05T08:18:39Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"6vxJBymbhPQJd6wUu4gMAFEWdnDEtWI+bF+1i9c2CnFr83AkjvyPFdUyvzvLK8mhW7RO6B4YDh8lKf365kqyAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-08T12:59:11.849045Z"},"content_sha256":"df868a7ef411778988492692e983b279adae48f07abff605f09875f9ce6b734c","schema_version":"1.0","event_id":"sha256:df868a7ef411778988492692e983b279adae48f07abff605f09875f9ce6b734c"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2022:YN67GV5RZ3OVGXD27HOGVSFKZN","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Differentiable Bilevel Programming for Stackelberg Congestion Games","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI","cs.MA","cs.SY","eess.SY"],"primary_cat":"cs.GT","authors_text":"Boyi Liu, Jiayang Li, Jing Yu, Qianni Wang, Yu Marco Nie, Zhaoran Wang","submitted_at":"2022-09-15T21:32:23Z","abstract_excerpt":"In a Stackelberg congestion game (SCG), a leader aims to maximize their own gain by anticipating and manipulating the equilibrium state at which the followers settle by playing a congestion game. Often formulated as bilevel programs, large-scale SCGs are well known for their intractability and complexity. Here, we attempt to tackle this computational challenge by marrying traditional methodologies with the latest differentiable programming techniques in machine learning. The core idea centers on replacing the lower-level equilibrium problem with a smooth evolution trajectory defined by the imi"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2209.07618","kind":"arxiv","version":4},"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/2209.07618/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-05T08:18:39Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"5WOxmranvOTOoCdYjtzQiS/CXijvEId31+ybtXNVLZ5FOladgteBNQhWoiYDbXmTG7u+FFeCQncqsg7zOwcnCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-08T12:59:11.849562Z"},"content_sha256":"2fecd3988a2c540eaad27ce3d91ef5885fedabc1d7d028e361025fe63af759c1","schema_version":"1.0","event_id":"sha256:2fecd3988a2c540eaad27ce3d91ef5885fedabc1d7d028e361025fe63af759c1"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/YN67GV5RZ3OVGXD27HOGVSFKZN/bundle.json","state_url":"https://pith.science/pith/YN67GV5RZ3OVGXD27HOGVSFKZN/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/YN67GV5RZ3OVGXD27HOGVSFKZN/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-08T12:59:11Z","links":{"resolver":"https://pith.science/pith/YN67GV5RZ3OVGXD27HOGVSFKZN","bundle":"https://pith.science/pith/YN67GV5RZ3OVGXD27HOGVSFKZN/bundle.json","state":"https://pith.science/pith/YN67GV5RZ3OVGXD27HOGVSFKZN/state.json","well_known_bundle":"https://pith.science/.well-known/pith/YN67GV5RZ3OVGXD27HOGVSFKZN/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2022:YN67GV5RZ3OVGXD27HOGVSFKZN","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":"000743e069587bafbb4954dd6a2495b32cc84ec9673626108c46bd1916edc177","cross_cats_sorted":["cs.AI","cs.MA","cs.SY","eess.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.GT","submitted_at":"2022-09-15T21:32:23Z","title_canon_sha256":"70289eccab08f01eb98208a8bebec5349df306c0b5ff202311423d73afad1fb2"},"schema_version":"1.0","source":{"id":"2209.07618","kind":"arxiv","version":4}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2209.07618","created_at":"2026-07-05T08:18:39Z"},{"alias_kind":"arxiv_version","alias_value":"2209.07618v4","created_at":"2026-07-05T08:18:39Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2209.07618","created_at":"2026-07-05T08:18:39Z"},{"alias_kind":"pith_short_12","alias_value":"YN67GV5RZ3OV","created_at":"2026-07-05T08:18:39Z"},{"alias_kind":"pith_short_16","alias_value":"YN67GV5RZ3OVGXD2","created_at":"2026-07-05T08:18:39Z"},{"alias_kind":"pith_short_8","alias_value":"YN67GV5R","created_at":"2026-07-05T08:18:39Z"}],"graph_snapshots":[{"event_id":"sha256:2fecd3988a2c540eaad27ce3d91ef5885fedabc1d7d028e361025fe63af759c1","target":"graph","created_at":"2026-07-05T08:18:39Z","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/2209.07618/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"In a Stackelberg congestion game (SCG), a leader aims to maximize their own gain by anticipating and manipulating the equilibrium state at which the followers settle by playing a congestion game. Often formulated as bilevel programs, large-scale SCGs are well known for their intractability and complexity. Here, we attempt to tackle this computational challenge by marrying traditional methodologies with the latest differentiable programming techniques in machine learning. The core idea centers on replacing the lower-level equilibrium problem with a smooth evolution trajectory defined by the imi","authors_text":"Boyi Liu, Jiayang Li, Jing Yu, Qianni Wang, Yu Marco Nie, Zhaoran Wang","cross_cats":["cs.AI","cs.MA","cs.SY","eess.SY"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.GT","submitted_at":"2022-09-15T21:32:23Z","title":"Differentiable Bilevel Programming for Stackelberg Congestion Games"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2209.07618","kind":"arxiv","version":4},"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:df868a7ef411778988492692e983b279adae48f07abff605f09875f9ce6b734c","target":"record","created_at":"2026-07-05T08:18:39Z","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":"000743e069587bafbb4954dd6a2495b32cc84ec9673626108c46bd1916edc177","cross_cats_sorted":["cs.AI","cs.MA","cs.SY","eess.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.GT","submitted_at":"2022-09-15T21:32:23Z","title_canon_sha256":"70289eccab08f01eb98208a8bebec5349df306c0b5ff202311423d73afad1fb2"},"schema_version":"1.0","source":{"id":"2209.07618","kind":"arxiv","version":4}},"canonical_sha256":"c37df357b1cedd535c7af9dc6ac8aacb5397de8f9d32a3b1b821ef090f41213c","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"c37df357b1cedd535c7af9dc6ac8aacb5397de8f9d32a3b1b821ef090f41213c","first_computed_at":"2026-07-05T08:18:39.732140Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T08:18:39.732140Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"1nE3wRdVW5lB2Ei9S7RvXVz5qlMUKmIzVqoofQIiauJsuC2UWTmAc5P/Q8t/tintheYDdWME/ROhQV2eRXmMAg==","signature_status":"signed_v1","signed_at":"2026-07-05T08:18:39.732634Z","signed_message":"canonical_sha256_bytes"},"source_id":"2209.07618","source_kind":"arxiv","source_version":4}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:df868a7ef411778988492692e983b279adae48f07abff605f09875f9ce6b734c","sha256:2fecd3988a2c540eaad27ce3d91ef5885fedabc1d7d028e361025fe63af759c1"],"state_sha256":"d4450300414ad3d8d02876e2f9a6689ce82c221b9850da0eb7bb611959823a1c"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"4Io1CO51uCFhOa4mr+MsBYRi+qhy7prKWGU8OZTlAN4j+15bdXxnklOHfjkB4VsFHMmwvsg5Nh4LHlfKg0GrCA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-08T12:59:11.854623Z","bundle_sha256":"39fd84dacffd5ec90e5ee56eeca58093065547056d645bae6d32c1b0203122c8"}}