Repositories list

• SylloBio-NLI

  Public
  Python

  •0•1•0•0•Updated Jul 29, 2025Jul 29, 2025

• Mechanistic-Interpretation-Syllogism

  Public
  Jupyter Notebook

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

• trace_package

  Public
  Python

  •

  GNU General Public License v3.0

  •0•3•0•0•Updated Jul 14, 2025Jul 14, 2025

• syllogistic_reasoning_multilingual

  Public
  0•0•0•0•Updated Jun 13, 2025Jun 13, 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

• faithful_and_robust_nli_refinement

  Public
  MIT License

  •0•0•0•0•Updated May 19, 2025May 19, 2025

• LangVAE

  Public
  Python

  •

  GNU General Public License v3.0

  •1•7•0•0•Updated May 7, 2025May 7, 2025

• LangSpace

  Public
  Python

  •

  GNU General Public License v3.0

  •1•7•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•11•0•0•Updated Apr 15, 2025Apr 15, 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

  •1•0•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•5•0•0•Updated Nov 27, 2024Nov 27, 2024

• SSKB

  Public
  Knowledge Base loading and annotation facilities

  Python

  •0•0•0•0•Updated Sep 13, 2024Sep 13, 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•1•0•0•Updated Jun 26, 2024Jun 26, 2024

• pdfservices-python-sdk

  Public
  Adobe PDFServices Python SDK

  Python

  •

  Apache License 2.0

  •41•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•4•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