{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2021:STKXY6YFWCAQUOLH2AAHJUPKXU","short_pith_number":"pith:STKXY6YF","schema_version":"1.0","canonical_sha256":"94d57c7b05b0810a3967d00074d1eabd06efeb620ab3a0b1087401834d9eef44","source":{"kind":"arxiv","id":"2105.14167","version":3},"attestation_state":"computed","paper":{"title":"NeuralLog: Natural Language Inference with Joint Neural and Logical Reasoning","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.CL","authors_text":"Lawrence S. Moss, Qiyue Gao, Zeming Chen","submitted_at":"2021-05-29T01:02:40Z","abstract_excerpt":"Deep learning (DL) based language models achieve high performance on various benchmarks for Natural Language Inference (NLI). And at this time, symbolic approaches to NLI are receiving less attention. Both approaches (symbolic and DL) have their advantages and weaknesses. However, currently, no method combines them in a system to solve the task of NLI. To merge symbolic and deep learning methods, we propose an inference framework called NeuralLog, which utilizes both a monotonicity-based logical inference engine and a neural network language model for phrase alignment. Our framework models the"},"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.14167","kind":"arxiv","version":3},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CL","submitted_at":"2021-05-29T01:02:40Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"b1cf1e7751a220c9a7da5a56eb40fc4339d43aa6b4ce61f02221afd85535590b","abstract_canon_sha256":"919b60d84c00c642b2775502954a9bb7a0501b2d67d24b92c7ade85b5bd78048"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T02:48:00.174858Z","signature_b64":"mQ5t9sE8DPECnRz+POinnXkCnW7pY+60EvfopfxuXf42a2zV3i7L1iLSMe6WyzanNjH3YIiyQE6bzVrSfHCcBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"94d57c7b05b0810a3967d00074d1eabd06efeb620ab3a0b1087401834d9eef44","last_reissued_at":"2026-07-05T02:48:00.174378Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T02:48:00.174378Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"NeuralLog: Natural Language Inference with Joint Neural and Logical Reasoning","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.CL","authors_text":"Lawrence S. Moss, Qiyue Gao, Zeming Chen","submitted_at":"2021-05-29T01:02:40Z","abstract_excerpt":"Deep learning (DL) based language models achieve high performance on various benchmarks for Natural Language Inference (NLI). And at this time, symbolic approaches to NLI are receiving less attention. Both approaches (symbolic and DL) have their advantages and weaknesses. However, currently, no method combines them in a system to solve the task of NLI. To merge symbolic and deep learning methods, we propose an inference framework called NeuralLog, which utilizes both a monotonicity-based logical inference engine and a neural network language model for phrase alignment. Our framework models the"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2105.14167","kind":"arxiv","version":3},"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.14167/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.14167","created_at":"2026-07-05T02:48:00.174436+00:00"},{"alias_kind":"arxiv_version","alias_value":"2105.14167v3","created_at":"2026-07-05T02:48:00.174436+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2105.14167","created_at":"2026-07-05T02:48:00.174436+00:00"},{"alias_kind":"pith_short_12","alias_value":"STKXY6YFWCAQ","created_at":"2026-07-05T02:48:00.174436+00:00"},{"alias_kind":"pith_short_16","alias_value":"STKXY6YFWCAQUOLH","created_at":"2026-07-05T02:48:00.174436+00:00"},{"alias_kind":"pith_short_8","alias_value":"STKXY6YF","created_at":"2026-07-05T02:48:00.174436+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":1,"internal_anchor_count":1,"sample":[{"citing_arxiv_id":"2506.07371","citing_title":"ARGUS: Hallucination and Omission Evaluation in Video-LLMs","ref_index":9,"is_internal_anchor":true}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/STKXY6YFWCAQUOLH2AAHJUPKXU","json":"https://pith.science/pith/STKXY6YFWCAQUOLH2AAHJUPKXU.json","graph_json":"https://pith.science/api/pith-number/STKXY6YFWCAQUOLH2AAHJUPKXU/graph.json","events_json":"https://pith.science/api/pith-number/STKXY6YFWCAQUOLH2AAHJUPKXU/events.json","paper":"https://pith.science/paper/STKXY6YF"},"agent_actions":{"view_html":"https://pith.science/pith/STKXY6YFWCAQUOLH2AAHJUPKXU","download_json":"https://pith.science/pith/STKXY6YFWCAQUOLH2AAHJUPKXU.json","view_paper":"https://pith.science/paper/STKXY6YF","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2105.14167&json=true","fetch_graph":"https://pith.science/api/pith-number/STKXY6YFWCAQUOLH2AAHJUPKXU/graph.json","fetch_events":"https://pith.science/api/pith-number/STKXY6YFWCAQUOLH2AAHJUPKXU/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/STKXY6YFWCAQUOLH2AAHJUPKXU/action/timestamp_anchor","attest_storage":"https://pith.science/pith/STKXY6YFWCAQUOLH2AAHJUPKXU/action/storage_attestation","attest_author":"https://pith.science/pith/STKXY6YFWCAQUOLH2AAHJUPKXU/action/author_attestation","sign_citation":"https://pith.science/pith/STKXY6YFWCAQUOLH2AAHJUPKXU/action/citation_signature","submit_replication":"https://pith.science/pith/STKXY6YFWCAQUOLH2AAHJUPKXU/action/replication_record"}},"created_at":"2026-07-05T02:48:00.174436+00:00","updated_at":"2026-07-05T02:48:00.174436+00:00"}