{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:C5YN7LOQPAT5GRQ4DAJTX7KRLT","short_pith_number":"pith:C5YN7LOQ","canonical_record":{"source":{"id":"2510.23379","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.LG","submitted_at":"2025-10-27T14:29:22Z","cross_cats_sorted":["cs.AI","cs.NE","q-bio.BM"],"title_canon_sha256":"5cfe5577e34f9e85184b21fd14f117c5c8c13de16924f2296489ae95c5266914","abstract_canon_sha256":"13ab1882f90d3ae5700b7e90ea1fe2af87d4bb0a90cab35e555d6e677a183c48"},"schema_version":"1.0"},"canonical_sha256":"1770dfadd07827d3461c18133bfd515ce32086f287b0d8cd303d354786f36625","source":{"kind":"arxiv","id":"2510.23379","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2510.23379","created_at":"2026-06-02T01:03:35Z"},{"alias_kind":"arxiv_version","alias_value":"2510.23379v2","created_at":"2026-06-02T01:03:35Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2510.23379","created_at":"2026-06-02T01:03:35Z"},{"alias_kind":"pith_short_12","alias_value":"C5YN7LOQPAT5","created_at":"2026-06-02T01:03:35Z"},{"alias_kind":"pith_short_16","alias_value":"C5YN7LOQPAT5GRQ4","created_at":"2026-06-02T01:03:35Z"},{"alias_kind":"pith_short_8","alias_value":"C5YN7LOQ","created_at":"2026-06-02T01:03:35Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:C5YN7LOQPAT5GRQ4DAJTX7KRLT","target":"record","payload":{"canonical_record":{"source":{"id":"2510.23379","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.LG","submitted_at":"2025-10-27T14:29:22Z","cross_cats_sorted":["cs.AI","cs.NE","q-bio.BM"],"title_canon_sha256":"5cfe5577e34f9e85184b21fd14f117c5c8c13de16924f2296489ae95c5266914","abstract_canon_sha256":"13ab1882f90d3ae5700b7e90ea1fe2af87d4bb0a90cab35e555d6e677a183c48"},"schema_version":"1.0"},"canonical_sha256":"1770dfadd07827d3461c18133bfd515ce32086f287b0d8cd303d354786f36625","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-06-02T01:03:35.655080Z","signature_b64":"2yPGYvS0YtuOeaCon59FFrKfyh1LeD0Nygd+uFg+wppOiI2XFlZB7FnAgV1ngJSt1zMJ9W+smlXD7AaRhcNBAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"1770dfadd07827d3461c18133bfd515ce32086f287b0d8cd303d354786f36625","last_reissued_at":"2026-06-02T01:03:35.654294Z","signature_status":"signed_v1","first_computed_at":"2026-06-02T01:03:35.654294Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2510.23379","source_version":2,"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-06-02T01:03:35Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"YqMvIzh6YSsr/Ua115oLi5yvyvyEh9edRFfCCXgaL65W7xMpJVmztkSrMORfJG+vMtoSaZ818BAWP8ZcZNVABQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-09T12:56:35.651498Z"},"content_sha256":"b75f80fa218ee23d445f9849e32e874246c5153ce2d40c0522411d667393b86c","schema_version":"1.0","event_id":"sha256:b75f80fa218ee23d445f9849e32e874246c5153ce2d40c0522411d667393b86c"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:C5YN7LOQPAT5GRQ4DAJTX7KRLT","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Symbolic Neural Generation with Applications to Lead Discovery in Drug Design","license":"http://creativecommons.org/licenses/by-sa/4.0/","headline":"","cross_cats":["cs.AI","cs.NE","q-bio.BM"],"primary_cat":"cs.LG","authors_text":"A Baskar, Ashwin Srinivasan, Mainak Banerjee, Michael Bain, Sanjay Kumar Dey, Tirtharaj Dash","submitted_at":"2025-10-27T14:29:22Z","abstract_excerpt":"We investigate a relatively under-explored class of hybrid neurosymbolic models that integrate symbolic learning with neural reasoning to construct data generators meeting formal correctness criteria. In Symbolic Neural Generators (SNGs), symbolic learners examine logical specifications of feasible data from a small set of instances -- sometimes just one. Each specification in turn constrains the conditional information supplied to a neural-based generator, which rejects any instance violating the symbolic specification. Like other neurosymbolic approaches, SNG exploits the complementary stren"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2510.23379","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/2510.23379/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-06-02T01:03:35Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"IdZHCffwJVrQ5S6d4Y+vo98x2RP6lgDSPHlOoWD7axVLsviFc4J+OTplOPDtG/th5NTgMHaUg0jOIhISG2qGCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-09T12:56:35.652193Z"},"content_sha256":"fc5db4e5462c37de3f6a499e02aa7854e7821d63e03cf16f13287872accc54d7","schema_version":"1.0","event_id":"sha256:fc5db4e5462c37de3f6a499e02aa7854e7821d63e03cf16f13287872accc54d7"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/C5YN7LOQPAT5GRQ4DAJTX7KRLT/bundle.json","state_url":"https://pith.science/pith/C5YN7LOQPAT5GRQ4DAJTX7KRLT/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/C5YN7LOQPAT5GRQ4DAJTX7KRLT/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-06-09T12:56:35Z","links":{"resolver":"https://pith.science/pith/C5YN7LOQPAT5GRQ4DAJTX7KRLT","bundle":"https://pith.science/pith/C5YN7LOQPAT5GRQ4DAJTX7KRLT/bundle.json","state":"https://pith.science/pith/C5YN7LOQPAT5GRQ4DAJTX7KRLT/state.json","well_known_bundle":"https://pith.science/.well-known/pith/C5YN7LOQPAT5GRQ4DAJTX7KRLT/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:C5YN7LOQPAT5GRQ4DAJTX7KRLT","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":"13ab1882f90d3ae5700b7e90ea1fe2af87d4bb0a90cab35e555d6e677a183c48","cross_cats_sorted":["cs.AI","cs.NE","q-bio.BM"],"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.LG","submitted_at":"2025-10-27T14:29:22Z","title_canon_sha256":"5cfe5577e34f9e85184b21fd14f117c5c8c13de16924f2296489ae95c5266914"},"schema_version":"1.0","source":{"id":"2510.23379","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2510.23379","created_at":"2026-06-02T01:03:35Z"},{"alias_kind":"arxiv_version","alias_value":"2510.23379v2","created_at":"2026-06-02T01:03:35Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2510.23379","created_at":"2026-06-02T01:03:35Z"},{"alias_kind":"pith_short_12","alias_value":"C5YN7LOQPAT5","created_at":"2026-06-02T01:03:35Z"},{"alias_kind":"pith_short_16","alias_value":"C5YN7LOQPAT5GRQ4","created_at":"2026-06-02T01:03:35Z"},{"alias_kind":"pith_short_8","alias_value":"C5YN7LOQ","created_at":"2026-06-02T01:03:35Z"}],"graph_snapshots":[{"event_id":"sha256:fc5db4e5462c37de3f6a499e02aa7854e7821d63e03cf16f13287872accc54d7","target":"graph","created_at":"2026-06-02T01:03:35Z","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/2510.23379/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We investigate a relatively under-explored class of hybrid neurosymbolic models that integrate symbolic learning with neural reasoning to construct data generators meeting formal correctness criteria. In Symbolic Neural Generators (SNGs), symbolic learners examine logical specifications of feasible data from a small set of instances -- sometimes just one. Each specification in turn constrains the conditional information supplied to a neural-based generator, which rejects any instance violating the symbolic specification. Like other neurosymbolic approaches, SNG exploits the complementary stren","authors_text":"A Baskar, Ashwin Srinivasan, Mainak Banerjee, Michael Bain, Sanjay Kumar Dey, Tirtharaj Dash","cross_cats":["cs.AI","cs.NE","q-bio.BM"],"headline":"","license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.LG","submitted_at":"2025-10-27T14:29:22Z","title":"Symbolic Neural Generation with Applications to Lead Discovery in Drug Design"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2510.23379","kind":"arxiv","version":2},"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:b75f80fa218ee23d445f9849e32e874246c5153ce2d40c0522411d667393b86c","target":"record","created_at":"2026-06-02T01:03:35Z","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":"13ab1882f90d3ae5700b7e90ea1fe2af87d4bb0a90cab35e555d6e677a183c48","cross_cats_sorted":["cs.AI","cs.NE","q-bio.BM"],"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.LG","submitted_at":"2025-10-27T14:29:22Z","title_canon_sha256":"5cfe5577e34f9e85184b21fd14f117c5c8c13de16924f2296489ae95c5266914"},"schema_version":"1.0","source":{"id":"2510.23379","kind":"arxiv","version":2}},"canonical_sha256":"1770dfadd07827d3461c18133bfd515ce32086f287b0d8cd303d354786f36625","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"1770dfadd07827d3461c18133bfd515ce32086f287b0d8cd303d354786f36625","first_computed_at":"2026-06-02T01:03:35.654294Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-06-02T01:03:35.654294Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"2yPGYvS0YtuOeaCon59FFrKfyh1LeD0Nygd+uFg+wppOiI2XFlZB7FnAgV1ngJSt1zMJ9W+smlXD7AaRhcNBAQ==","signature_status":"signed_v1","signed_at":"2026-06-02T01:03:35.655080Z","signed_message":"canonical_sha256_bytes"},"source_id":"2510.23379","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:b75f80fa218ee23d445f9849e32e874246c5153ce2d40c0522411d667393b86c","sha256:fc5db4e5462c37de3f6a499e02aa7854e7821d63e03cf16f13287872accc54d7"],"state_sha256":"3d4bcf67a3db9a82ba57e005648fcd1a4702d5462500eb25d280ee56aa6685d3"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"CPptpmIFC7bkikTsx/xv8y8rPMxo4UjBNQ57IC1WqHju8usbYTgjBQO6b+8eeVcoSojQWXiY8SYDkshHxm01DA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-09T12:56:35.655136Z","bundle_sha256":"84e187629aace7c65dceee568a607e139e6225bb0075bb0e7e50024e4cdab220"}}