{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2022:Y7CUPAOYZK73PWSZSATEBFXQOG","short_pith_number":"pith:Y7CUPAOY","schema_version":"1.0","canonical_sha256":"c7c54781d8cabfb7da5990264096f07182a721b7b9a7abdf7464bbf2760fb448","source":{"kind":"arxiv","id":"2208.00732","version":2},"attestation_state":"computed","paper":{"title":"An Improved Unconstrained Approach for Bilevel Optimization","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.OC","authors_text":"Kim-Chuan Toh, Nachuan Xiao, Xiaoyin Hu, Xin Liu","submitted_at":"2022-08-01T10:35:53Z","abstract_excerpt":"In this paper, we focus on the nonconvex-strongly-convex bilevel optimization problem (BLO). In this BLO, the objective function of the upper-level problem is nonconvex and possibly nonsmooth, and the lower-level problem is smooth and strongly convex with respect to the underlying variable $y$. We show that the feasible region of BLO is a Riemannian manifold. Then we transform BLO to its corresponding unconstrained constraint dissolving problem (CDB), whose objective function is explicitly formulated from the objective functions in BLO. We prove that BLO is equivalent to the unconstrained opti"},"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":"2208.00732","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2022-08-01T10:35:53Z","cross_cats_sorted":[],"title_canon_sha256":"13832da85ead47f66409d57949fe73a07d6ebdc31df0d109ba56b7bdb5acd6a2","abstract_canon_sha256":"976b0f49eae3da2dbca7d4df923101c56b546610239730d11a6bee3793059a4d"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T05:27:48.608711Z","signature_b64":"Ug7X7x/84of0vGVDs/3Yf3f00ARxsMrrJ3SLqEKP884pSI/9NALQLVF2TR+P59GjPwIZJN3kYytkt2CF3mqMDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"c7c54781d8cabfb7da5990264096f07182a721b7b9a7abdf7464bbf2760fb448","last_reissued_at":"2026-07-05T05:27:48.608192Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T05:27:48.608192Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"An Improved Unconstrained Approach for Bilevel Optimization","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.OC","authors_text":"Kim-Chuan Toh, Nachuan Xiao, Xiaoyin Hu, Xin Liu","submitted_at":"2022-08-01T10:35:53Z","abstract_excerpt":"In this paper, we focus on the nonconvex-strongly-convex bilevel optimization problem (BLO). In this BLO, the objective function of the upper-level problem is nonconvex and possibly nonsmooth, and the lower-level problem is smooth and strongly convex with respect to the underlying variable $y$. We show that the feasible region of BLO is a Riemannian manifold. Then we transform BLO to its corresponding unconstrained constraint dissolving problem (CDB), whose objective function is explicitly formulated from the objective functions in BLO. We prove that BLO is equivalent to the unconstrained opti"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2208.00732","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2208.00732/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":"2208.00732","created_at":"2026-07-05T05:27:48.608253+00:00"},{"alias_kind":"arxiv_version","alias_value":"2208.00732v2","created_at":"2026-07-05T05:27:48.608253+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2208.00732","created_at":"2026-07-05T05:27:48.608253+00:00"},{"alias_kind":"pith_short_12","alias_value":"Y7CUPAOYZK73","created_at":"2026-07-05T05:27:48.608253+00:00"},{"alias_kind":"pith_short_16","alias_value":"Y7CUPAOYZK73PWSZ","created_at":"2026-07-05T05:27:48.608253+00:00"},{"alias_kind":"pith_short_8","alias_value":"Y7CUPAOY","created_at":"2026-07-05T05:27:48.608253+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/Y7CUPAOYZK73PWSZSATEBFXQOG","json":"https://pith.science/pith/Y7CUPAOYZK73PWSZSATEBFXQOG.json","graph_json":"https://pith.science/api/pith-number/Y7CUPAOYZK73PWSZSATEBFXQOG/graph.json","events_json":"https://pith.science/api/pith-number/Y7CUPAOYZK73PWSZSATEBFXQOG/events.json","paper":"https://pith.science/paper/Y7CUPAOY"},"agent_actions":{"view_html":"https://pith.science/pith/Y7CUPAOYZK73PWSZSATEBFXQOG","download_json":"https://pith.science/pith/Y7CUPAOYZK73PWSZSATEBFXQOG.json","view_paper":"https://pith.science/paper/Y7CUPAOY","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2208.00732&json=true","fetch_graph":"https://pith.science/api/pith-number/Y7CUPAOYZK73PWSZSATEBFXQOG/graph.json","fetch_events":"https://pith.science/api/pith-number/Y7CUPAOYZK73PWSZSATEBFXQOG/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/Y7CUPAOYZK73PWSZSATEBFXQOG/action/timestamp_anchor","attest_storage":"https://pith.science/pith/Y7CUPAOYZK73PWSZSATEBFXQOG/action/storage_attestation","attest_author":"https://pith.science/pith/Y7CUPAOYZK73PWSZSATEBFXQOG/action/author_attestation","sign_citation":"https://pith.science/pith/Y7CUPAOYZK73PWSZSATEBFXQOG/action/citation_signature","submit_replication":"https://pith.science/pith/Y7CUPAOYZK73PWSZSATEBFXQOG/action/replication_record"}},"created_at":"2026-07-05T05:27:48.608253+00:00","updated_at":"2026-07-05T05:27:48.608253+00:00"}