{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:EOVJKTHQ7KXRDF56FRGRNOKAD4","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":"1b0b216c0af56c5b33431adcf07f209fa02b2c6826790e5f35aa5cb969af47fa","cross_cats_sorted":["cs.IT","cs.LG","cs.LO","math.IT"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2024-05-03T19:21:47Z","title_canon_sha256":"100fcdf8648d11348f0a1a1e4f23f362f19bf75b5ad7c6a4fd35c4c049d94fb4"},"schema_version":"1.0","source":{"id":"2405.15789","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2405.15789","created_at":"2026-07-05T08:22:56Z"},{"alias_kind":"arxiv_version","alias_value":"2405.15789v1","created_at":"2026-07-05T08:22:56Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2405.15789","created_at":"2026-07-05T08:22:56Z"},{"alias_kind":"pith_short_12","alias_value":"EOVJKTHQ7KXR","created_at":"2026-07-05T08:22:56Z"},{"alias_kind":"pith_short_16","alias_value":"EOVJKTHQ7KXRDF56","created_at":"2026-07-05T08:22:56Z"},{"alias_kind":"pith_short_8","alias_value":"EOVJKTHQ","created_at":"2026-07-05T08:22:56Z"}],"graph_snapshots":[{"event_id":"sha256:8299d9f18164d3d6a7ec71b96a3d491833b597578807b14b4eb3edc14e85e5e8","target":"graph","created_at":"2026-07-05T08:22:56Z","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/2405.15789/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Issues of safety, explainability, and efficiency are of increasing concern in learning systems deployed with hard and soft constraints. Symbolic Constrained Learning and Knowledge Distillation techniques have shown promising results in this area, by embedding and extracting knowledge, as well as providing logical constraints during neural network training. Although many frameworks exist to date, through an integration of logic and information geometry, we provide a construction and theoretical framework for these tasks that generalize many approaches. We propose a loss-based method that embeds","authors_text":"Enrique Bojorquez Gallardo, Miguel Angel Mendez-Lucero, Vaishak Belle","cross_cats":["cs.IT","cs.LG","cs.LO","math.IT"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2024-05-03T19:21:47Z","title":"Semantic Objective Functions: A distribution-aware method for adding logical constraints in deep learning"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2405.15789","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:84e48fe3df605d7eb14e982be01e834c13c903392f742af01077f1a46262b59f","target":"record","created_at":"2026-07-05T08:22:56Z","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":"1b0b216c0af56c5b33431adcf07f209fa02b2c6826790e5f35aa5cb969af47fa","cross_cats_sorted":["cs.IT","cs.LG","cs.LO","math.IT"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2024-05-03T19:21:47Z","title_canon_sha256":"100fcdf8648d11348f0a1a1e4f23f362f19bf75b5ad7c6a4fd35c4c049d94fb4"},"schema_version":"1.0","source":{"id":"2405.15789","kind":"arxiv","version":1}},"canonical_sha256":"23aa954cf0faaf1197be2c4d16b9401f396f38d77bf62afceae8078c7c0b9808","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"23aa954cf0faaf1197be2c4d16b9401f396f38d77bf62afceae8078c7c0b9808","first_computed_at":"2026-07-05T08:22:56.683211Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T08:22:56.683211Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"FJnJoOpmPk5yKG4HF95yTfk7e1AuZhkoD+MGOvQ5eWeytXjL88lWs78jHgqVgRYFagqGtLxmaN7Rhe2/dynLAA==","signature_status":"signed_v1","signed_at":"2026-07-05T08:22:56.683683Z","signed_message":"canonical_sha256_bytes"},"source_id":"2405.15789","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:84e48fe3df605d7eb14e982be01e834c13c903392f742af01077f1a46262b59f","sha256:8299d9f18164d3d6a7ec71b96a3d491833b597578807b14b4eb3edc14e85e5e8"],"state_sha256":"5864f13875a1fe0c81834628743d32615278fa683e46cb411a54ea6e7d60cc4c"}