{"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/softened-symbol-grounding-for-neuro-symbolic","title":"Softened Symbol Grounding for Neuro-symbolic Systems","arxiv_id":"2403.00323","date":"2024-03-01","proceeding":null,"authors":["Zenan Li","Yuan YAO","Taolue Chen","Jingwei Xu","Chun Cao","Xiaoxing Ma","Jian Lü"],"abstract":"Neuro-symbolic learning generally consists of two separated worlds, i.e., neural network training and symbolic constraint solving, whose success hinges on symbol grounding, a fundamental problem in AI. This paper presents a novel, softened symbol grounding process, bridging the gap between the two worlds, and resulting in an effective and efficient neuro-symbolic learning framework. Technically, the framework features (1) modeling of symbol solution states as a Boltzmann distribution, which avoids expensive state searching and facilitates mutually beneficial interactions between network training and symbolic reasoning;(2) a new MCMC technique leveraging projection and SMT solvers, which efficiently samples from disconnected symbol solution spaces; (3) an annealing mechanism that can escape from %being trapped into sub-optimal symbol groundings. Experiments with three representative neuro symbolic learning tasks demonstrate that, owining to its superior symbol grounding capability, our framework successfully solves problems well beyond the frontier of the existing proposals.","url_abs":"https://arxiv.org/abs/2403.00323v1","url_pdf":"https://arxiv.org/pdf/2403.00323v1.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":"softened-symbol-grounding-for-neuro-symbolic","repo_url":"https://github.com/softwiser-group/soften-nesy-learning","is_official":1,"mentioned_in_paper":1,"mentioned_in_github":0,"framework":"pytorch","reach":{"status":"ok"}}],"tasks":[],"methods":[],"datasets_introduced":[],"methods_introduced":[],"results":[],"syntology":{"syntology_url":null,"atlas_url":"https://app.syntology.ai/?focus=2403.00323","mcp":{"get_harvested_code_for_paper":{"arxiv_id":"2403.00323"}},"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":"deterministic:regex_extraction","url":"https://github.com/SoftWiser-group/Soften-NeSy-learning","reach":{"status":"ok"}},{"provenance":"external:paperswithcode_snapshot_2025-07-28","url":"https://github.com/softwiser-group/soften-nesy-learning","reach":{"status":"ok"}}],"summary":{"ran":3,"unverified":1},"by_repo_kind":{"official":{"samples":4,"ran":3,"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":4,"samples":[{"code_sha256_prefix":"21305bf04c263d0f","entry":"equal_res","repo":"SoftWiser-group/Soften-NeSy-learning","repo_kind":"official","path":"HWF/nn_utils.py","file_url":"https://github.com/SoftWiser-group/Soften-NeSy-learning/blob/HEAD/HWF/nn_utils.py","link_basis":"first_harvest_node","language":"python","status":"ran","verification_level":1,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":false,"licence":"NONE","inline_ok":false,"mcp_get_code":{"code_sha256":"21305bf04c263d0f"}},{"code_sha256_prefix":"3c063496643354ab","entry":"id2sym","repo":"SoftWiser-group/Soften-NeSy-learning","repo_kind":"official","path":"HWF/nn_utils.py","file_url":"https://github.com/SoftWiser-group/Soften-NeSy-learning/blob/HEAD/HWF/nn_utils.py","link_basis":"first_harvest_node","language":"python","status":"ran","verification_level":1,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":true,"licence":"NONE","inline_ok":false,"mcp_get_code":{"code_sha256":"3c063496643354ab"}},{"code_sha256_prefix":"5a087bc68f4c4cda","entry":"sym2id","repo":"SoftWiser-group/Soften-NeSy-learning","repo_kind":"official","path":"HWF/nn_utils.py","file_url":"https://github.com/SoftWiser-group/Soften-NeSy-learning/blob/HEAD/HWF/nn_utils.py","link_basis":"first_harvest_node","language":"python","status":"ran","verification_level":1,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":false,"licence":"NONE","inline_ok":false,"mcp_get_code":{"code_sha256":"5a087bc68f4c4cda"}},{"code_sha256_prefix":"0e51c50ea6d655d7","entry":"MathExpr_collate","repo":"SoftWiser-group/Soften-NeSy-learning","repo_kind":"official","path":"HWF/dataset.py","file_url":"https://github.com/SoftWiser-group/Soften-NeSy-learning/blob/HEAD/HWF/dataset.py","link_basis":"first_harvest_node","language":"python","status":"unverified","verification_level":0,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":false,"licence":"NONE","inline_ok":false,"mcp_get_code":{"code_sha256":"0e51c50ea6d655d7"}}]},"arxiv_metadata":null,"syntology_extracted_results":null}