{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:XXMUI3XXOC2EKVCCU3ACULCSLZ","short_pith_number":"pith:XXMUI3XX","canonical_record":{"source":{"id":"2508.16524","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-08-22T16:47:08Z","cross_cats_sorted":[],"title_canon_sha256":"faa2f0b50ca06626868ac2fa1fda96f4473fa2fb384c799faec1de642201abf1","abstract_canon_sha256":"1f3466bf412aa472bce67d803bfb7ce39de28eea656fbdf0efa34b8085cee4c0"},"schema_version":"1.0"},"canonical_sha256":"bdd9446ef770b4455442a6c02a2c525e5e8d66862cfd262baca9c67323419792","source":{"kind":"arxiv","id":"2508.16524","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2508.16524","created_at":"2026-07-05T11:57:50Z"},{"alias_kind":"arxiv_version","alias_value":"2508.16524v1","created_at":"2026-07-05T11:57:50Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2508.16524","created_at":"2026-07-05T11:57:50Z"},{"alias_kind":"pith_short_12","alias_value":"XXMUI3XXOC2E","created_at":"2026-07-05T11:57:50Z"},{"alias_kind":"pith_short_16","alias_value":"XXMUI3XXOC2EKVCC","created_at":"2026-07-05T11:57:50Z"},{"alias_kind":"pith_short_8","alias_value":"XXMUI3XX","created_at":"2026-07-05T11:57:50Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:XXMUI3XXOC2EKVCCU3ACULCSLZ","target":"record","payload":{"canonical_record":{"source":{"id":"2508.16524","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-08-22T16:47:08Z","cross_cats_sorted":[],"title_canon_sha256":"faa2f0b50ca06626868ac2fa1fda96f4473fa2fb384c799faec1de642201abf1","abstract_canon_sha256":"1f3466bf412aa472bce67d803bfb7ce39de28eea656fbdf0efa34b8085cee4c0"},"schema_version":"1.0"},"canonical_sha256":"bdd9446ef770b4455442a6c02a2c525e5e8d66862cfd262baca9c67323419792","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:57:50.217819Z","signature_b64":"pj9+2g6sz7UV2B+Y2YQSFhbzRYEyOxN0B4AIWQRI+fs+jGN+m3qtiOc5ox5tGr+fendF2oeZ48evDP9StcA/Cw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"bdd9446ef770b4455442a6c02a2c525e5e8d66862cfd262baca9c67323419792","last_reissued_at":"2026-07-05T11:57:50.217270Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:57:50.217270Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2508.16524","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-05T11:57:50Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"InGMccf3QFnLfHRtQjBAWrU5k63PeYAUH6u3q/CNYNj+lXSTKs779YEafyd6RuIbdkbnKhiA/1NytJerxe89CA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-06T19:23:13.473440Z"},"content_sha256":"8a93b57f6b823b7ae44d3f11f7804123ceb7d1d0b0616f97e6eb0145f14e13bf","schema_version":"1.0","event_id":"sha256:8a93b57f6b823b7ae44d3f11f7804123ceb7d1d0b0616f97e6eb0145f14e13bf"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:XXMUI3XXOC2EKVCCU3ACULCSLZ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Constraints-Guided Diffusion Reasoner for Neuro-Symbolic Learning","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Chao Qu, Weidi Xu, Xuan Zhang, Yanting Miao, Yuan Qi, Zhijian Zhou","submitted_at":"2025-08-22T16:47:08Z","abstract_excerpt":"Enabling neural networks to learn complex logical constraints and fulfill symbolic reasoning is a critical challenge. Bridging this gap often requires guiding the neural network's output distribution to move closer to the symbolic constraints. While diffusion models have shown remarkable generative capability across various domains, we employ the powerful architecture to perform neuro-symbolic learning and solve logical puzzles. Our diffusion-based pipeline adopts a two-stage training strategy: the first stage focuses on cultivating basic reasoning abilities, while the second emphasizes system"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2508.16524","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/2508.16524/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-05T11:57:50Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"yBPj95TYvXPlPvatUXIdBZ1Eqxk14eDYQGKIgWmExfCgSHQMJcEVey9yp0UVvOjN2yKZHYdFqvzo2Q6Tf5nRAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-06T19:23:13.473827Z"},"content_sha256":"b5fccf0033c21d3340ec1e7f55688ab635d48d6db9b7704ef48c93679d83fa4b","schema_version":"1.0","event_id":"sha256:b5fccf0033c21d3340ec1e7f55688ab635d48d6db9b7704ef48c93679d83fa4b"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/XXMUI3XXOC2EKVCCU3ACULCSLZ/bundle.json","state_url":"https://pith.science/pith/XXMUI3XXOC2EKVCCU3ACULCSLZ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/XXMUI3XXOC2EKVCCU3ACULCSLZ/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-07-06T19:23:13Z","links":{"resolver":"https://pith.science/pith/XXMUI3XXOC2EKVCCU3ACULCSLZ","bundle":"https://pith.science/pith/XXMUI3XXOC2EKVCCU3ACULCSLZ/bundle.json","state":"https://pith.science/pith/XXMUI3XXOC2EKVCCU3ACULCSLZ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/XXMUI3XXOC2EKVCCU3ACULCSLZ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:XXMUI3XXOC2EKVCCU3ACULCSLZ","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":"1f3466bf412aa472bce67d803bfb7ce39de28eea656fbdf0efa34b8085cee4c0","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-08-22T16:47:08Z","title_canon_sha256":"faa2f0b50ca06626868ac2fa1fda96f4473fa2fb384c799faec1de642201abf1"},"schema_version":"1.0","source":{"id":"2508.16524","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2508.16524","created_at":"2026-07-05T11:57:50Z"},{"alias_kind":"arxiv_version","alias_value":"2508.16524v1","created_at":"2026-07-05T11:57:50Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2508.16524","created_at":"2026-07-05T11:57:50Z"},{"alias_kind":"pith_short_12","alias_value":"XXMUI3XXOC2E","created_at":"2026-07-05T11:57:50Z"},{"alias_kind":"pith_short_16","alias_value":"XXMUI3XXOC2EKVCC","created_at":"2026-07-05T11:57:50Z"},{"alias_kind":"pith_short_8","alias_value":"XXMUI3XX","created_at":"2026-07-05T11:57:50Z"}],"graph_snapshots":[{"event_id":"sha256:b5fccf0033c21d3340ec1e7f55688ab635d48d6db9b7704ef48c93679d83fa4b","target":"graph","created_at":"2026-07-05T11:57:50Z","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/2508.16524/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Enabling neural networks to learn complex logical constraints and fulfill symbolic reasoning is a critical challenge. Bridging this gap often requires guiding the neural network's output distribution to move closer to the symbolic constraints. While diffusion models have shown remarkable generative capability across various domains, we employ the powerful architecture to perform neuro-symbolic learning and solve logical puzzles. Our diffusion-based pipeline adopts a two-stage training strategy: the first stage focuses on cultivating basic reasoning abilities, while the second emphasizes system","authors_text":"Chao Qu, Weidi Xu, Xuan Zhang, Yanting Miao, Yuan Qi, Zhijian Zhou","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-08-22T16:47:08Z","title":"Constraints-Guided Diffusion Reasoner for Neuro-Symbolic Learning"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2508.16524","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:8a93b57f6b823b7ae44d3f11f7804123ceb7d1d0b0616f97e6eb0145f14e13bf","target":"record","created_at":"2026-07-05T11:57:50Z","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":"1f3466bf412aa472bce67d803bfb7ce39de28eea656fbdf0efa34b8085cee4c0","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-08-22T16:47:08Z","title_canon_sha256":"faa2f0b50ca06626868ac2fa1fda96f4473fa2fb384c799faec1de642201abf1"},"schema_version":"1.0","source":{"id":"2508.16524","kind":"arxiv","version":1}},"canonical_sha256":"bdd9446ef770b4455442a6c02a2c525e5e8d66862cfd262baca9c67323419792","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"bdd9446ef770b4455442a6c02a2c525e5e8d66862cfd262baca9c67323419792","first_computed_at":"2026-07-05T11:57:50.217270Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:57:50.217270Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"pj9+2g6sz7UV2B+Y2YQSFhbzRYEyOxN0B4AIWQRI+fs+jGN+m3qtiOc5ox5tGr+fendF2oeZ48evDP9StcA/Cw==","signature_status":"signed_v1","signed_at":"2026-07-05T11:57:50.217819Z","signed_message":"canonical_sha256_bytes"},"source_id":"2508.16524","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:8a93b57f6b823b7ae44d3f11f7804123ceb7d1d0b0616f97e6eb0145f14e13bf","sha256:b5fccf0033c21d3340ec1e7f55688ab635d48d6db9b7704ef48c93679d83fa4b"],"state_sha256":"50514fb33e641e69d7863b0c1877c165f4e5178100e3310c24fefcfa2074fdba"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"vUiT29HS3hYSH+E7HbmYFVouDfJMqA+Br74zSgwQBvrnICLQcbbK2ImUpGzUHD7MyVzHi5QUL1VBXh1tathjAg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-06T19:23:13.476270Z","bundle_sha256":"851d4a8d6a1b14bb4fa774a89ae956ea448eac909554ba7c06cc12cae02bd1a9"}}