NLP Wiki

User Tools

Site Tools

Trace:
nlp:neurosymbolic_methods

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revisionPrevious revision
Next revision		Previous revision
nlp:neurosymbolic_methods [2024/05/22 23:53] – [Papers] jmflanignlp:neurosymbolic_methods [2025/08/30 00:35] (current) – [Papers] jmflanig
Line 2: Line 2:
  
 ===== Overviews ===== ===== Overviews =====
-  * See related work (section 2) of  [[https://www.aclweb.org/anthology/2020.emnlp-main.453.pdf|Wu 2020]] +  * See related work (section 2) of  [[https://www.aclweb.org/anthology/2020.emnlp-main.453.pdf|Wu 2020]] 
 +  * [[https://arxiv.org/pdf/2012.05876|d'Avila Garcez & Lamb 2020 - Neurosymbolic AI: The 3rd Wave]]
   * [[https://arxiv.org/pdf/2010.05446.pdf|Zhang et al 2020 - Neural, Symbolic and Neural-Symbolic Reasoning on Knowledge Graphs]]   * [[https://arxiv.org/pdf/2010.05446.pdf|Zhang et al 2020 - Neural, Symbolic and Neural-Symbolic Reasoning on Knowledge Graphs]]
 +  * [[https://arxiv.org/pdf/2305.00813|Sheth et al 2023 - Neurosymbolic AI - Why, What, and How]]
 +  * [[https://arxiv.org/pdf/2501.05435|Colelough & Regli 2025 - Neuro-Symbolic AI in 2024: A Systematic Review]]
 +  * **Tutorials**
 +    * [[https://ns4nlp-coling.github.io/|NS4NLP: Neuro-Symbolic Modeling for NLP - COLING 2022 Tutorial]]
  
 ===== Papers ===== ===== Papers =====
Line 18: Line 23:
   * [[https://arxiv.org/pdf/2208.05051.pdf|Qian et al 2022 - Limitations of Language Models in Arithmetic and Symbolic Induction]]   * [[https://arxiv.org/pdf/2208.05051.pdf|Qian et al 2022 - Limitations of Language Models in Arithmetic and Symbolic Induction]]
   * [[https://aclanthology.org/2022.naacl-main.341.pdf|West et al 2022 - Symbolic Knowledge Distillation: from General Language Models to Commonsense Models]]   * [[https://aclanthology.org/2022.naacl-main.341.pdf|West et al 2022 - Symbolic Knowledge Distillation: from General Language Models to Commonsense Models]]
 +  * [[https://arxiv.org/pdf/2211.11559|Gupta & Kembhavi 2022 - Visual Programming: Compositional visual reasoning without training]]
   * [[https://arxiv.org/pdf/2305.12744|Pan et al 2023 - Fact-Checking Complex Claims with Program-Guided Reasoning]]   * [[https://arxiv.org/pdf/2305.12744|Pan et al 2023 - Fact-Checking Complex Claims with Program-Guided Reasoning]]
 +  * [[https://arxiv.org/pdf/2305.12295|Pan et al 2023 - Logic-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning]]
 +  * [[https://arxiv.org/pdf/2310.05253|Wang & Shu 2023 - Explainable Claim Verification via Knowledge-Grounded Reasoning with
 +Large Language Models]]
   * [[https://arxiv.org/pdf/2310.16035.pdf|Hsu et al 2023 - What’s Left? Concept Grounding with Logic-Enhanced Foundation Models]]   * [[https://arxiv.org/pdf/2310.16035.pdf|Hsu et al 2023 - What’s Left? Concept Grounding with Logic-Enhanced Foundation Models]]
 +  * **[[https://arxiv.org/pdf/2506.04592|Liu et al 2025 - Safe: Enhancing Mathematical Reasoning in Large Language Models via Retrospective Step-aware Formal Verification]]**
  
 ===== People ===== ===== People =====
nlp/neurosymbolic_methods.1716422018.txt.gz · Last modified: 2024/05/22 23:53 by jmflanig
Donate Powered by PHP Valid HTML5 Valid CSS Driven by DokuWiki