Repositories list

• faithful_and_robust_nli_refinement

  Public
  Code and data for paper "Faithful and Robust LLM-Driven Theorem Proving for NLI Explanations"

  theorem-provingnatural-language-inferenceneuro-symbolic+ 1natural-language-explanations

  Python

  •

  MIT License

  •0•0•0•0•Updated Jan 21, 2026Jan 21, 2026

• CAP

  Public
  Python

  •

  GNU General Public License v3.0

  •0•0•0•0•Updated Jan 19, 2026Jan 19, 2026

• 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 …

  Python

  •5•8•0•0•Updated Nov 29, 2025Nov 29, 2025

• LangVAE

  Public
  Python

  •

  GNU General Public License v3.0

  •2•12•0•0•Updated Nov 21, 2025Nov 21, 2025

• SylloBio-NLI

  Public
  Python

  •0•2•0•0•Updated Nov 11, 2025Nov 11, 2025

• peirce

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

  natural-language-processingnatural-language-inferenceneuro-symbolic-ai+ 2large-language-modelsexplanation-generation

  Isabelle

  •4•18•0•0•Updated Oct 29, 2025Oct 29, 2025

• SSKB

  Public
  Knowledge Base loading and annotation facilities

  Python

  •0•0•0•0•Updated Sep 24, 2025Sep 24, 2025

• trace_package

  Public
  Python

  •

  GNU General Public License v3.0

  •0•5•0•0•Updated Aug 27, 2025Aug 27, 2025

• Mechanistic-Interpretation-Syllogism

  Public
  Jupyter Notebook

  •0•0•0•0•Updated Jul 23, 2025Jul 23, 2025

• saf_datasets

  Public
  Simple Annotation Framework - Data set loading facilities

  Python

  •

  GNU General Public License v3.0

  •0•1•0•0•Updated Jun 6, 2025Jun 6, 2025

• LangSpace

  Public
  Python

  •

  GNU General Public License v3.0

  •1•8•0•0•Updated Apr 15, 2025Apr 15, 2025

• reasoning_with_nle_emnlp_2024

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

  Python

  •0•14•0•0•Updated Apr 15, 2025Apr 15, 2025

• explanation_refinement

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

  theorem-provingnatural-language-inferencetextual-entailment+ 2neuro-symbolicnatural-language-explanations

  Python

  •

  MIT License

  •0•8•0•0•Updated Nov 27, 2024Nov 27, 2024

• lunar-bioverse-demo

  Public
  Python

  •

  MIT License

  •0•3•1•0•Updated Jul 22, 2024Jul 22, 2024

• multi_relational_hyperbolic_word_embeddings

  Public
  Multi-Relational Hyperbolic Word Embeddings from Natural Language Definitions

  nlpword-embeddingspoincare-embeddings+ 3hyperbolic-embeddingsmulti-relationaleacl-2024

  Python

  •

  MIT License

  •1•2•0•0•Updated Jun 26, 2024Jun 26, 2024

• pdfservices-python-sdk

  Public
  Adobe PDFServices Python SDK

  Python

  •

  Apache License 2.0

  •40•0•0•0•Updated May 30, 2024May 30, 2024

• explanation_based_ethical_reasoning

  Public
  Code and data for Paper "Enhancing Ethical Explanations of Large Language Models through Iterative Symbolic Refinement"

  machine-ethicssymbolic-reasoninglarge-language-models+ 2ethical-reasoningnatural-langauge-inference

  Python

  •

  MIT License

  •1•6•0•0•Updated Apr 2, 2024Apr 2, 2024

• neuro-symbolic-ai.github.io

  Public
  HTML

  •9•1•0•0•Updated Dec 8, 2023Dec 8, 2023

• Optimus

  Public
  Fork of Optimus [https://github.com/ChunyuanLI/Optimus]

  Python

  •0•0•0•0•Updated Nov 21, 2023Nov 21, 2023

• latent_mathematical_reasoning

  Public
  Multi-Operational Mathematical Derivations in Latent Space

  machine-learningtransformersrecurrent-neural-networks+ 5convolutional-neural-networksmathematical-expressionslatent-spacegraph-neural-networksequational-reasoning

  Python

  •

  MIT License

  •0•1•0•0•Updated Nov 4, 2023Nov 4, 2023