{"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/neuro-symbolic-training-for-reasoning-over","title":"Neuro-symbolic Training for Reasoning over Spatial Language","arxiv_id":"2406.13828","date":"2024-06-19","proceeding":null,"authors":["Tanawan Premsri","Parisa Kordjamshidi"],"abstract":"Recent research shows that more data and larger models can provide more accurate solutions to natural language problems requiring reasoning. However, models can easily fail to provide solutions in unobserved complex input compositions due to not achieving the level of abstraction required for generalizability. To alleviate this issue, we propose training the language models with neuro-symbolic techniques that can exploit the logical rules of reasoning as constraints and provide additional supervision sources to the model. Training models to adhere to the regulations of reasoning pushes them to make more effective abstractions needed for generalizability and transfer learning. We focus on a challenging problem of spatial reasoning over text. Our results on various benchmarks using multiple language models confirm our hypothesis of effective domain transfer based on neuro-symbolic training.","url_abs":"https://arxiv.org/abs/2406.13828v1","url_pdf":"https://arxiv.org/pdf/2406.13828v1.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":"neuro-symbolic-training-for-reasoning-over","repo_url":"https://github.com/premsrit/SPARTUNQChain","is_official":1,"mentioned_in_paper":1,"mentioned_in_github":1,"framework":"pytorch","reach":{"status":"ok"}}],"tasks":[{"task_slug":"spatial-reasoning","task_name":"Spatial Reasoning"},{"task_slug":"transfer-learning","task_name":"Transfer Learning"}],"methods":[{"method_slug":"focus","method_name":"Focus"}],"datasets_introduced":[],"methods_introduced":[],"results":[],"syntology":{"atlas_url":"https://app.syntology.ai/?focus=2406.13828","mcp":{"get_harvested_code_for_paper":{"arxiv_id":"2406.13828"}},"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/premsrit/SPARTUNQChain","reach":{"status":"ok"}}],"summary":{"ran":7,"unverified":2},"by_repo_kind":{"official":{"samples":9,"ran":7,"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":9,"samples":[{"code_sha256_prefix":"a99f730dee6b0abd","entry":"check_reverse","repo":"premsrit/SPARTUNQChain","repo_kind":"official","path":"utils.py","file_url":"https://github.com/premsrit/SPARTUNQChain/blob/HEAD/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":"a99f730dee6b0abd"}},{"code_sha256_prefix":"cc414746f937cc4c","entry":"check_symmetric","repo":"premsrit/SPARTUNQChain","repo_kind":"official","path":"utils.py","file_url":"https://github.com/premsrit/SPARTUNQChain/blob/HEAD/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":"cc414746f937cc4c"}},{"code_sha256_prefix":"463790199122958e","entry":"check_transitive","repo":"premsrit/SPARTUNQChain","repo_kind":"official","path":"utils.py","file_url":"https://github.com/premsrit/SPARTUNQChain/blob/HEAD/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":"463790199122958e"}},{"code_sha256_prefix":"8a7379356fb7776a","entry":"create_key","repo":"premsrit/SPARTUNQChain","repo_kind":"official","path":"reader.py","file_url":"https://github.com/premsrit/SPARTUNQChain/blob/HEAD/reader.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":"8a7379356fb7776a"}},{"code_sha256_prefix":"bc1aefd017671e1e","entry":"create_simple_question","repo":"premsrit/SPARTUNQChain","repo_kind":"official","path":"reader.py","file_url":"https://github.com/premsrit/SPARTUNQChain/blob/HEAD/reader.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":"bc1aefd017671e1e"}},{"code_sha256_prefix":"b9b5a5bda4a20982","entry":"label_fr_to_int","repo":"premsrit/SPARTUNQChain","repo_kind":"official","path":"reader.py","file_url":"https://github.com/premsrit/SPARTUNQChain/blob/HEAD/reader.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":"b9b5a5bda4a20982"}},{"code_sha256_prefix":"463b2593cee73957","entry":"model_selection","repo":"premsrit/SPARTUNQChain","repo_kind":"official","path":"LLMs_experiments/gpt.py","file_url":"https://github.com/premsrit/SPARTUNQChain/blob/HEAD/LLMs_experiments/gpt.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":"463b2593cee73957"}},{"code_sha256_prefix":"8b0314018db67161","entry":"eval","repo":"premsrit/SPARTUNQChain","repo_kind":"official","path":"main_rel.py","file_url":"https://github.com/premsrit/SPARTUNQChain/blob/HEAD/main_rel.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":"8b0314018db67161"}},{"code_sha256_prefix":"9519ecd7a0509878","entry":"train","repo":"premsrit/SPARTUNQChain","repo_kind":"official","path":"main_rel.py","file_url":"https://github.com/premsrit/SPARTUNQChain/blob/HEAD/main_rel.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":"9519ecd7a0509878"}}]},"arxiv_metadata":null,"syntology_extracted_results":null}