neural-symbolic topic

AIKA is a new type of artificial neural network designed to more closely mimic the behavior of a biological brain and to bridge the gap to classical AI. A key design decision in the Aika network is to...

aika-algorithm

A curated paper list on neural symbolic and probabilistic logic.

thuwzy

Neural-Grammar-Symbolic Learning with Back-Search

liqing-ustc

Paper collection on building and evaluating language model agents via executable language grounding

xlang-ai

Explainable complex question answering over RDF files via Llama Index.

mommi84

mOWL: Machine Learning library with Ontologies

bio-ontology-research-group

Reasoning Computers. Lambda Calculus, Fully Differentiable. Also Neural Stacks, Queues, Arrays, Lists, Trees, and Latches.

neurallambda

https://arxiv.org/abs/2312.10807

hk-zh

OneEdit: A Neural-Symbolic Collaboratively Knowledge Editing System.

zjunlp

Offical Repo for "Programming Every Example: Lifting Pre-training Data Quality Like Experts at Scale"

GAIR-NLP