{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2022:HFPNXRVCQUCEYEC7HFT5G7NI5U","short_pith_number":"pith:HFPNXRVC","schema_version":"1.0","canonical_sha256":"395edbc6a285044c105f3967d37da8ed0cf6ae11871c47b402760321c936643f","source":{"kind":"arxiv","id":"2202.04178","version":2},"attestation_state":"computed","paper":{"title":"VAEL: Bridging Variational Autoencoders and Probabilistic Logic Programming","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LG"],"primary_cat":"cs.PL","authors_text":"Eleonora Misino, Emanuele Sansone, Giuseppe Marra","submitted_at":"2022-02-07T10:16:53Z","abstract_excerpt":"We present VAEL, a neuro-symbolic generative model integrating variational autoencoders (VAE) with the reasoning capabilities of probabilistic logic (L) programming. Besides standard latent subsymbolic variables, our model exploits a probabilistic logic program to define a further structured representation, which is used for logical reasoning. The entire process is end-to-end differentiable. Once trained, VAEL can solve new unseen generation tasks by (i) leveraging the previously acquired knowledge encoded in the neural component and (ii) exploiting new logical programs on the structured laten"},"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":"2202.04178","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2022-02-07T10:16:53Z","cross_cats_sorted":["cs.LG"],"title_canon_sha256":"082b4cbfd1e4705d6137a1ce14ec6d408664db59ed34e03daaa4809435eb61ab","abstract_canon_sha256":"ae59048a4b32704d668bb5349a6a9115e3963d7706209a5f63548a94280f27ea"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T04:26:22.213266Z","signature_b64":"LQGR3OKe9H1NRNS7Ps5gpYxmPfQjTk2pifg8v0w4pe0IChcLpoZ0N8Y/3c9yhBeNfYijifVYx62Y6ANgdGzpCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"395edbc6a285044c105f3967d37da8ed0cf6ae11871c47b402760321c936643f","last_reissued_at":"2026-07-05T04:26:22.212799Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T04:26:22.212799Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"VAEL: Bridging Variational Autoencoders and Probabilistic Logic Programming","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LG"],"primary_cat":"cs.PL","authors_text":"Eleonora Misino, Emanuele Sansone, Giuseppe Marra","submitted_at":"2022-02-07T10:16:53Z","abstract_excerpt":"We present VAEL, a neuro-symbolic generative model integrating variational autoencoders (VAE) with the reasoning capabilities of probabilistic logic (L) programming. Besides standard latent subsymbolic variables, our model exploits a probabilistic logic program to define a further structured representation, which is used for logical reasoning. The entire process is end-to-end differentiable. Once trained, VAEL can solve new unseen generation tasks by (i) leveraging the previously acquired knowledge encoded in the neural component and (ii) exploiting new logical programs on the structured laten"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2202.04178","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/2202.04178/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":"2202.04178","created_at":"2026-07-05T04:26:22.212861+00:00"},{"alias_kind":"arxiv_version","alias_value":"2202.04178v2","created_at":"2026-07-05T04:26:22.212861+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2202.04178","created_at":"2026-07-05T04:26:22.212861+00:00"},{"alias_kind":"pith_short_12","alias_value":"HFPNXRVCQUCE","created_at":"2026-07-05T04:26:22.212861+00:00"},{"alias_kind":"pith_short_16","alias_value":"HFPNXRVCQUCEYEC7","created_at":"2026-07-05T04:26:22.212861+00:00"},{"alias_kind":"pith_short_8","alias_value":"HFPNXRVC","created_at":"2026-07-05T04:26:22.212861+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/HFPNXRVCQUCEYEC7HFT5G7NI5U","json":"https://pith.science/pith/HFPNXRVCQUCEYEC7HFT5G7NI5U.json","graph_json":"https://pith.science/api/pith-number/HFPNXRVCQUCEYEC7HFT5G7NI5U/graph.json","events_json":"https://pith.science/api/pith-number/HFPNXRVCQUCEYEC7HFT5G7NI5U/events.json","paper":"https://pith.science/paper/HFPNXRVC"},"agent_actions":{"view_html":"https://pith.science/pith/HFPNXRVCQUCEYEC7HFT5G7NI5U","download_json":"https://pith.science/pith/HFPNXRVCQUCEYEC7HFT5G7NI5U.json","view_paper":"https://pith.science/paper/HFPNXRVC","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2202.04178&json=true","fetch_graph":"https://pith.science/api/pith-number/HFPNXRVCQUCEYEC7HFT5G7NI5U/graph.json","fetch_events":"https://pith.science/api/pith-number/HFPNXRVCQUCEYEC7HFT5G7NI5U/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/HFPNXRVCQUCEYEC7HFT5G7NI5U/action/timestamp_anchor","attest_storage":"https://pith.science/pith/HFPNXRVCQUCEYEC7HFT5G7NI5U/action/storage_attestation","attest_author":"https://pith.science/pith/HFPNXRVCQUCEYEC7HFT5G7NI5U/action/author_attestation","sign_citation":"https://pith.science/pith/HFPNXRVCQUCEYEC7HFT5G7NI5U/action/citation_signature","submit_replication":"https://pith.science/pith/HFPNXRVCQUCEYEC7HFT5G7NI5U/action/replication_record"}},"created_at":"2026-07-05T04:26:22.212861+00:00","updated_at":"2026-07-05T04:26:22.212861+00:00"}