{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2023:77KGK6BFQ2CLTAAFGOGJBHU53T","short_pith_number":"pith:77KGK6BF","schema_version":"1.0","canonical_sha256":"ffd46578258684b98005338c909e9ddcd31399378a7383707480998d53460b21","source":{"kind":"arxiv","id":"2306.05211","version":1},"attestation_state":"computed","paper":{"title":"Boosting-based Construction of BDDs for Linear Threshold Functions and Its Application to Verification of Neural Networks","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LG","authors_text":"Eiji Takimoto, Kohei Hatano, Yiping Tang","submitted_at":"2023-06-08T14:09:38Z","abstract_excerpt":"Understanding the characteristics of neural networks is important but difficult due to their complex structures and behaviors. Some previous work proposes to transform neural networks into equivalent Boolean expressions and apply verification techniques for characteristics of interest. This approach is promising since rich results of verification techniques for circuits and other Boolean expressions can be readily applied. The bottleneck is the time complexity of the transformation. More precisely, (i) each neuron of the network, i.e., a linear threshold function, is converted to a Binary Deci"},"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":"2306.05211","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2023-06-08T14:09:38Z","cross_cats_sorted":[],"title_canon_sha256":"7b87f9f4c728475502eca1e13fbcfc838c4753a0a25b37bb78868d4c8fec2662","abstract_canon_sha256":"85b591c97ea4cccaa3c14b685d576384134a956afc77b6c0aeeb3ea7c490eacb"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T06:18:53.706915Z","signature_b64":"A1XTjSlLmBDXI7gcc/3SjbsMy57TZHwphWeJZCu/aP072+0g/b8goNHbdiq8JeRX0RvXcRD4TlMQzD2o0oAdAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"ffd46578258684b98005338c909e9ddcd31399378a7383707480998d53460b21","last_reissued_at":"2026-07-05T06:18:53.706492Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T06:18:53.706492Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Boosting-based Construction of BDDs for Linear Threshold Functions and Its Application to Verification of Neural Networks","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LG","authors_text":"Eiji Takimoto, Kohei Hatano, Yiping Tang","submitted_at":"2023-06-08T14:09:38Z","abstract_excerpt":"Understanding the characteristics of neural networks is important but difficult due to their complex structures and behaviors. Some previous work proposes to transform neural networks into equivalent Boolean expressions and apply verification techniques for characteristics of interest. This approach is promising since rich results of verification techniques for circuits and other Boolean expressions can be readily applied. The bottleneck is the time complexity of the transformation. More precisely, (i) each neuron of the network, i.e., a linear threshold function, is converted to a Binary Deci"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2306.05211","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/2306.05211/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":"2306.05211","created_at":"2026-07-05T06:18:53.706554+00:00"},{"alias_kind":"arxiv_version","alias_value":"2306.05211v1","created_at":"2026-07-05T06:18:53.706554+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2306.05211","created_at":"2026-07-05T06:18:53.706554+00:00"},{"alias_kind":"pith_short_12","alias_value":"77KGK6BFQ2CL","created_at":"2026-07-05T06:18:53.706554+00:00"},{"alias_kind":"pith_short_16","alias_value":"77KGK6BFQ2CLTAAF","created_at":"2026-07-05T06:18:53.706554+00:00"},{"alias_kind":"pith_short_8","alias_value":"77KGK6BF","created_at":"2026-07-05T06:18:53.706554+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/77KGK6BFQ2CLTAAFGOGJBHU53T","json":"https://pith.science/pith/77KGK6BFQ2CLTAAFGOGJBHU53T.json","graph_json":"https://pith.science/api/pith-number/77KGK6BFQ2CLTAAFGOGJBHU53T/graph.json","events_json":"https://pith.science/api/pith-number/77KGK6BFQ2CLTAAFGOGJBHU53T/events.json","paper":"https://pith.science/paper/77KGK6BF"},"agent_actions":{"view_html":"https://pith.science/pith/77KGK6BFQ2CLTAAFGOGJBHU53T","download_json":"https://pith.science/pith/77KGK6BFQ2CLTAAFGOGJBHU53T.json","view_paper":"https://pith.science/paper/77KGK6BF","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2306.05211&json=true","fetch_graph":"https://pith.science/api/pith-number/77KGK6BFQ2CLTAAFGOGJBHU53T/graph.json","fetch_events":"https://pith.science/api/pith-number/77KGK6BFQ2CLTAAFGOGJBHU53T/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/77KGK6BFQ2CLTAAFGOGJBHU53T/action/timestamp_anchor","attest_storage":"https://pith.science/pith/77KGK6BFQ2CLTAAFGOGJBHU53T/action/storage_attestation","attest_author":"https://pith.science/pith/77KGK6BFQ2CLTAAFGOGJBHU53T/action/author_attestation","sign_citation":"https://pith.science/pith/77KGK6BFQ2CLTAAFGOGJBHU53T/action/citation_signature","submit_replication":"https://pith.science/pith/77KGK6BFQ2CLTAAFGOGJBHU53T/action/replication_record"}},"created_at":"2026-07-05T06:18:53.706554+00:00","updated_at":"2026-07-05T06:18:53.706554+00:00"}