{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2021:FZFAR2GUZOSRML4JCE32UCDJWG","short_pith_number":"pith:FZFAR2GU","schema_version":"1.0","canonical_sha256":"2e4a08e8d4cba5162f891137aa0869b1b3fb849bc21b5a541a07f28a5d7924c5","source":{"kind":"arxiv","id":"2105.01442","version":1},"attestation_state":"computed","paper":{"title":"NeuralLog: a Neural Logic Language","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.LG","authors_text":"Victor Guimar\\~aes, V\\'itor Santos Costa","submitted_at":"2021-05-04T12:09:35Z","abstract_excerpt":"Application domains that require considering relationships among objects which have real-valued attributes are becoming even more important. In this paper we propose NeuralLog, a first-order logic language that is compiled to a neural network. The main goal of NeuralLog is to bridge logic programming and deep learning, allowing advances in both fields to be combined in order to obtain better machine learning models. The main advantages of NeuralLog are: to allow neural networks to be defined as logic programs; and to be able to handle numeric attributes and functions. We compared NeuralLog wit"},"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":"2105.01442","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2021-05-04T12:09:35Z","cross_cats_sorted":[],"title_canon_sha256":"0a5077a1601417ea4c1002979d762273ed1a5d25c37378f188ab0e796ce3261b","abstract_canon_sha256":"234dff03b8f2b88cd3c978403b50b885fd123ef025129f590320c28cf8e2edcd"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T02:37:17.396953Z","signature_b64":"iGIIGkoYUGH0q2ehbTwk42Il3PSCVL6XgVL6+6AditQaKaF3z1XuEQJOypuJLEGBxDQR9nou401uqFBFaSroDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"2e4a08e8d4cba5162f891137aa0869b1b3fb849bc21b5a541a07f28a5d7924c5","last_reissued_at":"2026-07-05T02:37:17.396538Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T02:37:17.396538Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"NeuralLog: a Neural Logic Language","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.LG","authors_text":"Victor Guimar\\~aes, V\\'itor Santos Costa","submitted_at":"2021-05-04T12:09:35Z","abstract_excerpt":"Application domains that require considering relationships among objects which have real-valued attributes are becoming even more important. In this paper we propose NeuralLog, a first-order logic language that is compiled to a neural network. The main goal of NeuralLog is to bridge logic programming and deep learning, allowing advances in both fields to be combined in order to obtain better machine learning models. The main advantages of NeuralLog are: to allow neural networks to be defined as logic programs; and to be able to handle numeric attributes and functions. We compared NeuralLog wit"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2105.01442","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/2105.01442/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":"2105.01442","created_at":"2026-07-05T02:37:17.396598+00:00"},{"alias_kind":"arxiv_version","alias_value":"2105.01442v1","created_at":"2026-07-05T02:37:17.396598+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2105.01442","created_at":"2026-07-05T02:37:17.396598+00:00"},{"alias_kind":"pith_short_12","alias_value":"FZFAR2GUZOSR","created_at":"2026-07-05T02:37:17.396598+00:00"},{"alias_kind":"pith_short_16","alias_value":"FZFAR2GUZOSRML4J","created_at":"2026-07-05T02:37:17.396598+00:00"},{"alias_kind":"pith_short_8","alias_value":"FZFAR2GU","created_at":"2026-07-05T02:37:17.396598+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/FZFAR2GUZOSRML4JCE32UCDJWG","json":"https://pith.science/pith/FZFAR2GUZOSRML4JCE32UCDJWG.json","graph_json":"https://pith.science/api/pith-number/FZFAR2GUZOSRML4JCE32UCDJWG/graph.json","events_json":"https://pith.science/api/pith-number/FZFAR2GUZOSRML4JCE32UCDJWG/events.json","paper":"https://pith.science/paper/FZFAR2GU"},"agent_actions":{"view_html":"https://pith.science/pith/FZFAR2GUZOSRML4JCE32UCDJWG","download_json":"https://pith.science/pith/FZFAR2GUZOSRML4JCE32UCDJWG.json","view_paper":"https://pith.science/paper/FZFAR2GU","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2105.01442&json=true","fetch_graph":"https://pith.science/api/pith-number/FZFAR2GUZOSRML4JCE32UCDJWG/graph.json","fetch_events":"https://pith.science/api/pith-number/FZFAR2GUZOSRML4JCE32UCDJWG/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/FZFAR2GUZOSRML4JCE32UCDJWG/action/timestamp_anchor","attest_storage":"https://pith.science/pith/FZFAR2GUZOSRML4JCE32UCDJWG/action/storage_attestation","attest_author":"https://pith.science/pith/FZFAR2GUZOSRML4JCE32UCDJWG/action/author_attestation","sign_citation":"https://pith.science/pith/FZFAR2GUZOSRML4JCE32UCDJWG/action/citation_signature","submit_replication":"https://pith.science/pith/FZFAR2GUZOSRML4JCE32UCDJWG/action/replication_record"}},"created_at":"2026-07-05T02:37:17.396598+00:00","updated_at":"2026-07-05T02:37:17.396598+00:00"}