{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2022:KZ7OITULK5QFDRL6AWCUX2BL5Q","short_pith_number":"pith:KZ7OITUL","schema_version":"1.0","canonical_sha256":"567ee44e8b576051c57e05854be82bec13c5a33a105898ead6763e05edf676d9","source":{"kind":"arxiv","id":"2202.11246","version":1},"attestation_state":"computed","paper":{"title":"Learning Neural Networks under Input-Output Specifications","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LG","cs.SY"],"primary_cat":"eess.SY","authors_text":"He Yin, Ming Jin, Vassilis Kekatos, Zain ul Abdeen","submitted_at":"2022-02-23T00:36:07Z","abstract_excerpt":"In this paper, we examine an important problem of learning neural networks that certifiably meet certain specifications on input-output behaviors. Our strategy is to find an inner approximation of the set of admissible policy parameters, which is convex in a transformed space. To this end, we address the key technical challenge of convexifying the verification condition for neural networks, which is derived by abstracting the nonlinear specifications and activation functions with quadratic constraints. In particular, we propose a reparametrization scheme of the original neural network based on"},"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":"2202.11246","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2022-02-23T00:36:07Z","cross_cats_sorted":["cs.LG","cs.SY"],"title_canon_sha256":"f2572ee7d9b9d40f17b54bded08c025f155565c953247fb049aba7975a57117a","abstract_canon_sha256":"70a44cd6f05654f74a703b0b1194db12ceeee6e1a28bb7b2fb018b959ff3628e"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T03:59:30.059285Z","signature_b64":"afb/2ru3U5hsCwW6S7u7eHIq/uWZGEB4hm+zeISmhYZUS9Ja1QVHKVsdgAvgoD/+bzA/UA73iJteijT/22DKBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"567ee44e8b576051c57e05854be82bec13c5a33a105898ead6763e05edf676d9","last_reissued_at":"2026-07-05T03:59:30.058888Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T03:59:30.058888Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Learning Neural Networks under Input-Output Specifications","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LG","cs.SY"],"primary_cat":"eess.SY","authors_text":"He Yin, Ming Jin, Vassilis Kekatos, Zain ul Abdeen","submitted_at":"2022-02-23T00:36:07Z","abstract_excerpt":"In this paper, we examine an important problem of learning neural networks that certifiably meet certain specifications on input-output behaviors. Our strategy is to find an inner approximation of the set of admissible policy parameters, which is convex in a transformed space. To this end, we address the key technical challenge of convexifying the verification condition for neural networks, which is derived by abstracting the nonlinear specifications and activation functions with quadratic constraints. In particular, we propose a reparametrization scheme of the original neural network based on"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2202.11246","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/2202.11246/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":"2202.11246","created_at":"2026-07-05T03:59:30.058971+00:00"},{"alias_kind":"arxiv_version","alias_value":"2202.11246v1","created_at":"2026-07-05T03:59:30.058971+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2202.11246","created_at":"2026-07-05T03:59:30.058971+00:00"},{"alias_kind":"pith_short_12","alias_value":"KZ7OITULK5QF","created_at":"2026-07-05T03:59:30.058971+00:00"},{"alias_kind":"pith_short_16","alias_value":"KZ7OITULK5QFDRL6","created_at":"2026-07-05T03:59:30.058971+00:00"},{"alias_kind":"pith_short_8","alias_value":"KZ7OITUL","created_at":"2026-07-05T03:59:30.058971+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/KZ7OITULK5QFDRL6AWCUX2BL5Q","json":"https://pith.science/pith/KZ7OITULK5QFDRL6AWCUX2BL5Q.json","graph_json":"https://pith.science/api/pith-number/KZ7OITULK5QFDRL6AWCUX2BL5Q/graph.json","events_json":"https://pith.science/api/pith-number/KZ7OITULK5QFDRL6AWCUX2BL5Q/events.json","paper":"https://pith.science/paper/KZ7OITUL"},"agent_actions":{"view_html":"https://pith.science/pith/KZ7OITULK5QFDRL6AWCUX2BL5Q","download_json":"https://pith.science/pith/KZ7OITULK5QFDRL6AWCUX2BL5Q.json","view_paper":"https://pith.science/paper/KZ7OITUL","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2202.11246&json=true","fetch_graph":"https://pith.science/api/pith-number/KZ7OITULK5QFDRL6AWCUX2BL5Q/graph.json","fetch_events":"https://pith.science/api/pith-number/KZ7OITULK5QFDRL6AWCUX2BL5Q/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/KZ7OITULK5QFDRL6AWCUX2BL5Q/action/timestamp_anchor","attest_storage":"https://pith.science/pith/KZ7OITULK5QFDRL6AWCUX2BL5Q/action/storage_attestation","attest_author":"https://pith.science/pith/KZ7OITULK5QFDRL6AWCUX2BL5Q/action/author_attestation","sign_citation":"https://pith.science/pith/KZ7OITULK5QFDRL6AWCUX2BL5Q/action/citation_signature","submit_replication":"https://pith.science/pith/KZ7OITULK5QFDRL6AWCUX2BL5Q/action/replication_record"}},"created_at":"2026-07-05T03:59:30.058971+00:00","updated_at":"2026-07-05T03:59:30.058971+00:00"}