Neuro-symbolic AI Lab

Popular repositories Loading

1. peirce peirce Public

   A modular framework for Neuro-Symbolic reasoning driven by Large Language Models

   Isabelle 37 6

2. reasoning_with_nle_emnlp_2024 reasoning_with_nle_emnlp_2024 Public

   EMNLP 2024 Tutorial: https://sites.google.com/view/reasoning-with-explanations

   Python 15

3. LangVAE LangVAE Public

   Python 12 4

4. LangSpace LangSpace Public

   Python 9 1

5. explanation_refinement explanation_refinement Public

   Code and data for paper "Verification and Refinement of Natural Language Explanations through LLM-Symbolic Theorem Proving"

   Python 9

6. semeval_2026_task_11 semeval_2026_task_11 Public

   We propose a shared task to investigate how Language Models can acquire content-independent reasoning mechanisms, thereby mitigating content biases that affect their logical reasoning capabilities …

   Python 9 6