{"about":{"site":"https://codewithpapers.app","non_affiliation":"Code with Papers and Syntology are not affiliated with, endorsed by, or sponsored by Papers with Code, Meta, or the pwc-archive mirror.","licence":"CC BY-SA 4.0","licence_url":"https://creativecommons.org/licenses/by-sa/4.0/legalcode","attribution":"https://codewithpapers.app/attribution","modified":"archive material modified by Syntology; see the attribution page"},"url":"/paper/neurallog-natural-language-inference-with","title":"NeuralLog: Natural Language Inference with Joint Neural and Logical Reasoning","arxiv_id":"2105.14167","date":"2021-05-29","proceeding":"Joint Conference on Lexical and Computational Semantics 2021","authors":["Zeming Chen","Qiyue Gao","Lawrence S. Moss"],"abstract":"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 NLI task as a classic search problem and uses the beam search algorithm to search for optimal inference paths. Experiments show that our joint logic and neural inference system improves accuracy on the NLI task and can achieve state-of-art accuracy on the SICK and MED datasets.","url_abs":"https://arxiv.org/abs/2105.14167v3","url_pdf":"https://arxiv.org/pdf/2105.14167v3.pdf","source":{"archive":"pwc-archive (Hugging Face), CC BY-SA 4.0","snapshot":"2025-07-28","licence_url":"https://creativecommons.org/licenses/by-sa/4.0/legalcode","row_kind":"abstracts"},"code_links":[{"paper_slug":"neurallog-natural-language-inference-with","repo_url":"https://github.com/eric11eca/NeuralLog","is_official":1,"mentioned_in_paper":0,"mentioned_in_github":1,"framework":"none","reach":{"status":"ok","spdx":"MIT"}}],"tasks":[{"task_slug":"deep-learning","task_name":"Deep Learning"},{"task_slug":"language-modeling","task_name":"Language Modeling"},{"task_slug":"language-modelling","task_name":"Language Modelling"},{"task_slug":"logical-reasoning","task_name":"Logical Reasoning"},{"task_slug":"natural-language-inference","task_name":"Natural Language Inference"}],"methods":[{"method_slug":"albert","method_name":"ALBERT"},{"method_slug":"bert","method_name":"BERT"},{"method_slug":"softmax","method_name":"Softmax"}],"datasets_introduced":[],"methods_introduced":[],"results":[{"leaderboard":"/sota/natural-language-inference-on-med","task":"Natural Language Inference","dataset":"MED","model":"NeuralLog","rank_in_archive_order":1,"of":1,"metrics":{"1:1 Accuracy":"0.934"},"uses_additional_data":false},{"leaderboard":"/sota/natural-language-inference-on-sick","task":"Natural Language Inference","dataset":"SICK","model":"NeuralLog","rank_in_archive_order":1,"of":1,"metrics":{"1:1 Accuracy":"0.903"},"uses_additional_data":false}],"syntology":{"atlas_url":"https://app.syntology.ai/?focus=2105.14167","mcp":{"get_harvested_code_for_paper":{"arxiv_id":"2105.14167"}},"developers":"https://syntology.ai/developers","read_at":"2026-09-24T18:15:14+00:00","read_at_is":"when the build read Syntology's graph, not when any sample ran","claim":"Per-sample execution status on synthesized fixtures; not a correctness claim about the paper. Samples come from repositories linked to the paper, official or community; repo_kind says which.","repos":[{"provenance":"external:paperswithcode_snapshot_2025-07-28","url":"https://github.com/eric11eca/NeuralLog","reach":{"status":"ok","spdx":"MIT"}}],"summary":{"unverified":6},"by_repo_kind":{"official":{"samples":6,"ran":0,"repositories":1}},"repo_kind_vocabulary":{"official":"The archive marks this repository official for the paper","named_in_paper":"The archive records that the paper mentions this repository; it is not marked official","listed":"In the archive's code links for this paper, not marked official and not recorded as mentioned in the paper","found_in_text":"Syntology found this repository in the paper's own text; whether it is the authors' implementation is not asserted","community":"Not in the archive's code links for this paper; a community repository Syntology harvested"},"n_pointer_only_for_licence":0,"samples":[{"code_sha256_prefix":"eacca99ab9d035dd","entry":"annotation2string","repo":"eric11eca/NeuralLog","repo_kind":"official","path":"src/Chunker.py","file_url":"https://github.com/eric11eca/NeuralLog/blob/HEAD/src/Chunker.py","link_basis":"first_harvest_node","language":"python","status":"unverified","verification_level":0,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":false,"licence":"MIT","inline_ok":true,"mcp_get_code":{"code_sha256":"eacca99ab9d035dd"}},{"code_sha256_prefix":"21ee5796d74e5038","entry":"btree2list","repo":"eric11eca/NeuralLog","repo_kind":"official","path":"src/Udep2Mono/util.py","file_url":"https://github.com/eric11eca/NeuralLog/blob/HEAD/src/Udep2Mono/util.py","link_basis":"first_harvest_node","language":"python","status":"unverified","verification_level":0,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":false,"licence":"MIT","inline_ok":true,"mcp_get_code":{"code_sha256":"21ee5796d74e5038"}},{"code_sha256_prefix":"119fba77eaae9349","entry":"det_type","repo":"eric11eca/NeuralLog","repo_kind":"official","path":"src/Udep2Mono/util.py","file_url":"https://github.com/eric11eca/NeuralLog/blob/HEAD/src/Udep2Mono/util.py","link_basis":"first_harvest_node","language":"python","status":"unverified","verification_level":0,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":false,"licence":"MIT","inline_ok":true,"mcp_get_code":{"code_sha256":"119fba77eaae9349"}},{"code_sha256_prefix":"3e075e3931de1b1c","entry":"find_relation","repo":"eric11eca/NeuralLog","repo_kind":"official","path":"src/wordnet.py","file_url":"https://github.com/eric11eca/NeuralLog/blob/HEAD/src/wordnet.py","link_basis":"first_harvest_node","language":"python","status":"unverified","verification_level":0,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":false,"licence":"MIT","inline_ok":true,"mcp_get_code":{"code_sha256":"3e075e3931de1b1c"}},{"code_sha256_prefix":"d746765b60497e0e","entry":"get_word_sets","repo":"eric11eca/NeuralLog","repo_kind":"official","path":"src/wordnet.py","file_url":"https://github.com/eric11eca/NeuralLog/blob/HEAD/src/wordnet.py","link_basis":"first_harvest_node","language":"python","status":"unverified","verification_level":0,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":false,"licence":"MIT","inline_ok":true,"mcp_get_code":{"code_sha256":"d746765b60497e0e"}},{"code_sha256_prefix":"0d1a2a05ca2c64f9","entry":"post_process","repo":"eric11eca/NeuralLog","repo_kind":"official","path":"src/udify_parser.py","file_url":"https://github.com/eric11eca/NeuralLog/blob/HEAD/src/udify_parser.py","link_basis":"first_harvest_node","language":"python","status":"unverified","verification_level":0,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":false,"licence":"MIT","inline_ok":true,"mcp_get_code":{"code_sha256":"0d1a2a05ca2c64f9"}}]},"arxiv_metadata":null,"syntology_extracted_results":null}