{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:LMVXYASMCTLGPWJWF7HAV7Y375","short_pith_number":"pith:LMVXYASM","canonical_record":{"source":{"id":"2509.05481","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2025-09-05T20:13:24Z","cross_cats_sorted":["q-bio.MN","q-bio.QM"],"title_canon_sha256":"cee2f9fbb9a914d2f7153c72068e94cee70ba47e02d6c3cdf8fb57460bbf8b38","abstract_canon_sha256":"db208ef7e97d41fa1f62970646dd65fef38b5e20371f354eb9fddfd45f6ce02c"},"schema_version":"1.0"},"canonical_sha256":"5b2b7c024c14d667d9362fce0aff1bff4617d5c74ec9916e9ca26dbe4efceda0","source":{"kind":"arxiv","id":"2509.05481","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2509.05481","created_at":"2026-07-05T12:05:48Z"},{"alias_kind":"arxiv_version","alias_value":"2509.05481v1","created_at":"2026-07-05T12:05:48Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2509.05481","created_at":"2026-07-05T12:05:48Z"},{"alias_kind":"pith_short_12","alias_value":"LMVXYASMCTLG","created_at":"2026-07-05T12:05:48Z"},{"alias_kind":"pith_short_16","alias_value":"LMVXYASMCTLGPWJW","created_at":"2026-07-05T12:05:48Z"},{"alias_kind":"pith_short_8","alias_value":"LMVXYASM","created_at":"2026-07-05T12:05:48Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:LMVXYASMCTLGPWJWF7HAV7Y375","target":"record","payload":{"canonical_record":{"source":{"id":"2509.05481","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2025-09-05T20:13:24Z","cross_cats_sorted":["q-bio.MN","q-bio.QM"],"title_canon_sha256":"cee2f9fbb9a914d2f7153c72068e94cee70ba47e02d6c3cdf8fb57460bbf8b38","abstract_canon_sha256":"db208ef7e97d41fa1f62970646dd65fef38b5e20371f354eb9fddfd45f6ce02c"},"schema_version":"1.0"},"canonical_sha256":"5b2b7c024c14d667d9362fce0aff1bff4617d5c74ec9916e9ca26dbe4efceda0","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T12:05:48.339146Z","signature_b64":"wODaVv5+LfihhQbFahRhpEIJnxR6skn9EkO36Ja/xzd3PSOWK7mJ4rCx0HC8uMu89QABjfUhbIK2fuhZtfa7Bw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"5b2b7c024c14d667d9362fce0aff1bff4617d5c74ec9916e9ca26dbe4efceda0","last_reissued_at":"2026-07-05T12:05:48.338646Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T12:05:48.338646Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2509.05481","source_version":1,"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-05T12:05:48Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"SZLuBehPpL9C87Hsrr+pipP69NTBHe9GUZT9UNmIDKp3nfxZEt6suFhUbvbYjbD6Fco7G//XwYe0IAvIdOtJDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-11T01:23:48.912268Z"},"content_sha256":"5ce54783610491ffef2a33b8a5ff592f7ab94340c9ec341b502dd933f286f6af","schema_version":"1.0","event_id":"sha256:5ce54783610491ffef2a33b8a5ff592f7ab94340c9ec341b502dd933f286f6af"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:LMVXYASMCTLGPWJWF7HAV7Y375","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"STL-based Optimization of Biomolecular Neural Networks for Regression and Control","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["q-bio.MN","q-bio.QM"],"primary_cat":"cs.LG","authors_text":"Calin Belta, Eric Palanques-Tost, Hanna Krasowski, Murat Arcak, Ron Weiss","submitted_at":"2025-09-05T20:13:24Z","abstract_excerpt":"Biomolecular Neural Networks (BNNs), artificial neural networks with biologically synthesizable architectures, achieve universal function approximation capabilities beyond simple biological circuits. However, training BNNs remains challenging due to the lack of target data. To address this, we propose leveraging Signal Temporal Logic (STL) specifications to define training objectives for BNNs. We build on the quantitative semantics of STL, enabling gradient-based optimization of the BNN weights, and introduce a learning algorithm that enables BNNs to perform regression and control tasks in bio"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2509.05481","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/2509.05481/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-05T12:05:48Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ewkIuPwKkojxlrNLrDM66tL/2xpTa7DVQA/BNRUkNGPZ/MnjvVomGKyUb4iumneGGPJNeO+DBhfKowZtXQWtDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-11T01:23:48.912809Z"},"content_sha256":"9aa50ec6ed0172f8650af81af84c5a3a71f01d59a22599be36966f0e16bce479","schema_version":"1.0","event_id":"sha256:9aa50ec6ed0172f8650af81af84c5a3a71f01d59a22599be36966f0e16bce479"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/LMVXYASMCTLGPWJWF7HAV7Y375/bundle.json","state_url":"https://pith.science/pith/LMVXYASMCTLGPWJWF7HAV7Y375/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/LMVXYASMCTLGPWJWF7HAV7Y375/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-11T01:23:48Z","links":{"resolver":"https://pith.science/pith/LMVXYASMCTLGPWJWF7HAV7Y375","bundle":"https://pith.science/pith/LMVXYASMCTLGPWJWF7HAV7Y375/bundle.json","state":"https://pith.science/pith/LMVXYASMCTLGPWJWF7HAV7Y375/state.json","well_known_bundle":"https://pith.science/.well-known/pith/LMVXYASMCTLGPWJWF7HAV7Y375/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:LMVXYASMCTLGPWJWF7HAV7Y375","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":"db208ef7e97d41fa1f62970646dd65fef38b5e20371f354eb9fddfd45f6ce02c","cross_cats_sorted":["q-bio.MN","q-bio.QM"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2025-09-05T20:13:24Z","title_canon_sha256":"cee2f9fbb9a914d2f7153c72068e94cee70ba47e02d6c3cdf8fb57460bbf8b38"},"schema_version":"1.0","source":{"id":"2509.05481","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2509.05481","created_at":"2026-07-05T12:05:48Z"},{"alias_kind":"arxiv_version","alias_value":"2509.05481v1","created_at":"2026-07-05T12:05:48Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2509.05481","created_at":"2026-07-05T12:05:48Z"},{"alias_kind":"pith_short_12","alias_value":"LMVXYASMCTLG","created_at":"2026-07-05T12:05:48Z"},{"alias_kind":"pith_short_16","alias_value":"LMVXYASMCTLGPWJW","created_at":"2026-07-05T12:05:48Z"},{"alias_kind":"pith_short_8","alias_value":"LMVXYASM","created_at":"2026-07-05T12:05:48Z"}],"graph_snapshots":[{"event_id":"sha256:9aa50ec6ed0172f8650af81af84c5a3a71f01d59a22599be36966f0e16bce479","target":"graph","created_at":"2026-07-05T12:05:48Z","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/2509.05481/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Biomolecular Neural Networks (BNNs), artificial neural networks with biologically synthesizable architectures, achieve universal function approximation capabilities beyond simple biological circuits. However, training BNNs remains challenging due to the lack of target data. To address this, we propose leveraging Signal Temporal Logic (STL) specifications to define training objectives for BNNs. We build on the quantitative semantics of STL, enabling gradient-based optimization of the BNN weights, and introduce a learning algorithm that enables BNNs to perform regression and control tasks in bio","authors_text":"Calin Belta, Eric Palanques-Tost, Hanna Krasowski, Murat Arcak, Ron Weiss","cross_cats":["q-bio.MN","q-bio.QM"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2025-09-05T20:13:24Z","title":"STL-based Optimization of Biomolecular Neural Networks for Regression and Control"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2509.05481","kind":"arxiv","version":1},"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:5ce54783610491ffef2a33b8a5ff592f7ab94340c9ec341b502dd933f286f6af","target":"record","created_at":"2026-07-05T12:05:48Z","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":"db208ef7e97d41fa1f62970646dd65fef38b5e20371f354eb9fddfd45f6ce02c","cross_cats_sorted":["q-bio.MN","q-bio.QM"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2025-09-05T20:13:24Z","title_canon_sha256":"cee2f9fbb9a914d2f7153c72068e94cee70ba47e02d6c3cdf8fb57460bbf8b38"},"schema_version":"1.0","source":{"id":"2509.05481","kind":"arxiv","version":1}},"canonical_sha256":"5b2b7c024c14d667d9362fce0aff1bff4617d5c74ec9916e9ca26dbe4efceda0","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"5b2b7c024c14d667d9362fce0aff1bff4617d5c74ec9916e9ca26dbe4efceda0","first_computed_at":"2026-07-05T12:05:48.338646Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T12:05:48.338646Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"wODaVv5+LfihhQbFahRhpEIJnxR6skn9EkO36Ja/xzd3PSOWK7mJ4rCx0HC8uMu89QABjfUhbIK2fuhZtfa7Bw==","signature_status":"signed_v1","signed_at":"2026-07-05T12:05:48.339146Z","signed_message":"canonical_sha256_bytes"},"source_id":"2509.05481","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:5ce54783610491ffef2a33b8a5ff592f7ab94340c9ec341b502dd933f286f6af","sha256:9aa50ec6ed0172f8650af81af84c5a3a71f01d59a22599be36966f0e16bce479"],"state_sha256":"5c5960a52ab248c70eda4d5e94d30d1c63de53307afcbc4822412f8ea2f0d539"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"tjujZzm06fb7KOTgeYuVx4IkeSSMt6gwwwvK80BYIb1m+jtNrD6ZDXDDLjXy9/vCjsxKsEEpKrED3ImiFmuoCA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-11T01:23:48.920852Z","bundle_sha256":"4e0d0f660b66ba1eb7c356a9131490c98b7f9ce0810b9fcc47d2dbcddf2b5069"}}