Skip to content
@neuro-symbolic-ai

Neuro-symbolic AI Lab

Popular repositories Loading

  1. reasoning_with_nle_emnlp_2024 reasoning_with_nle_emnlp_2024 Public

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

    Python 10

  2. LangVAE LangVAE Public

    Python 5

  3. LangSpace LangSpace Public

    Python 4

  4. explanation_based_ethical_reasoning explanation_based_ethical_reasoning Public

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

    Python 4 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 4

  6. saf_datasets saf_datasets Public

    Simple Annotation Framework - Data set loading facilities

    Python 1

Repositories

Showing 10 of 16 repositories
  • neuro-symbolic-ai/syllogistic_reasoning_multilingual’s past year of commit activity
    Jupyter Notebook 0 0 0 0 Updated Apr 1, 2025
  • LangSpace Public
    neuro-symbolic-ai/LangSpace’s past year of commit activity
    Python 4 GPL-3.0 0 0 0 Updated Mar 30, 2025
  • peirce Public
    neuro-symbolic-ai/peirce’s past year of commit activity
    Isabelle 0 0 0 0 Updated Mar 29, 2025
  • LangVAE Public
    neuro-symbolic-ai/LangVAE’s past year of commit activity
    Python 5 GPL-3.0 0 0 0 Updated Mar 9, 2025
  • saf_datasets Public

    Simple Annotation Framework - Data set loading facilities

    neuro-symbolic-ai/saf_datasets’s past year of commit activity
    Python 1 GPL-3.0 0 0 0 Updated Mar 4, 2025
  • neuro-symbolic-ai/reasoning_with_nle_emnlp_2024’s past year of commit activity
    Python 10 0 0 0 Updated Mar 4, 2025
  • SylloBio-NLI Public
    neuro-symbolic-ai/SylloBio-NLI’s past year of commit activity
    Python 0 0 0 0 Updated Feb 7, 2025
  • explanation_refinement Public

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

    neuro-symbolic-ai/explanation_refinement’s past year of commit activity
    Python 4 MIT 0 0 0 Updated Nov 27, 2024
  • SSKB Public

    Knowledge Base loading and annotation facilities

    neuro-symbolic-ai/SSKB’s past year of commit activity
    Python 0 0 0 0 Updated Sep 13, 2024
  • neuro-symbolic-ai/lunar-bioverse-demo’s past year of commit activity
    Python 1 MIT 0 1 0 Updated Jul 22, 2024

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…