|
Scheme |
4 |
Neuro-symbolic interpretation learning |
Oct 14, 2021 |
|
None |
34 |
Neuro-Symbolic AI Toolkit |
Aug 05, 2022 |
|
Python |
18 |
The Neuro-Symbolic Forward Reasoner |
Apr 13, 2023 |
|
C |
31 |
Adaptive Neuro-Symbolic Network Agent |
Apr 12, 2023 |
|
Python |
4 |
Neuro-Symbolic Message-Passing Reasoner |
Aug 29, 2023 |
|
Python |
4 |
Demo for Neuro-Symbolic Agent (LOA) |
Jul 01, 2022 |
|
Python |
7 |
explorations in neuro-symbolic differentiable interpreters |
Mar 29, 2023 |
|
Haxe |
3 |
NAL based reasoner |
Aug 31, 2021 |
|
Python |
22 |
Generative Neuro-Symbolic (GNS) Modeling (Feinman & Lake, 2021) |
Nov 22, 2022 |
|
Jupyter Notebook |
3 |
An LLM chatbot augmented by neuro-symbolic rules |
May 08, 2024 |
|
Python |
2 |
A neuro-symbolic reasoner for the EL++ description logic. |
Feb 10, 2022 |
|
Scheme |
63 |
Neuro-symbolic interpretation learning (mostly just language-learning, for now) |
Oct 09, 2022 |
|
Python |
382 |
PyTorch implementation for the Neuro-Symbolic Concept Learner (NS-CL). |
May 16, 2023 |
|
None |
2 |
PyTorch implementation for the Neuro-Symbolic Concept Learner (NS-CL). |
Jun 05, 2023 |
|
Jupyter Notebook |
35 |
Neuro-Symbolic Visual Question Answering on Sort-of-CLEVR using PyTorch |
Jul 07, 2022 |
|
Python |
54 |
PIGLeT: Language Grounding Through Neuro-Symbolic Interaction in a 3D World [ACL 2021] |
Jan 04, 2024 |
|
Python |
11 |
Neuro-Symbolic Reinforcement Learning: Logical Optimal Action (LOA), a novel RL with Logical Neural Network (LNN) … |
Jul 25, 2022 |
|
Kotlin |
4 |
A symbolic execution analysis based on the Soot analysis framework. |
Nov 26, 2023 |
|
F# |
37 |
Symbolic execution engine for .NET Core |
May 05, 2023 |
|
Python |
3 |
Simple framework for symbolic manipulation |
Apr 16, 2023 |
|
Python |
2 |
Symbolic framework for scientific calculation |
Dec 15, 2022 |
|
Go |
3 |
Quiver-Based Symbolic Execution |
Apr 24, 2023 |
|
Python |
9 |
Code for the paper "Towards Generalizable Neuro-Symbolic Systems for Commonsense Question Answering" (EMNLP-COIN 2019) |
Nov 04, 2021 |
|
Python |
35 |
PyTorch code for the RetoMaton paper: "Neuro-Symbolic Language Modeling with Automaton-augmented Retrieval" (ICML 2022) |
Sep 22, 2022 |
|
R |
2 |
Symbolic operation functions, including simplifier, symbolic match functions and rule based simplifier generator. |
Oct 24, 2018 |
|
Julia |
6 |
Sole (SymbOlic LEarning), a Julia logic-based framework for transparent, interpretable machine learning |
May 04, 2022 |
|
JavaScript |
205 |
A core Pluggable framework based on koa. |
Aug 05, 2022 |
|
Objective-C |
4 |
Core Animation based UI framework for Mac |
Mar 31, 2018 |
|
Python |
106 |
A python framework for symbolic music generation, evaluation and analysis |
May 15, 2023 |
|
C++ |
463 |
Open-source symbolic execution framework: https://maat.re |
Aug 09, 2022 |
|
Jupyter Notebook |
66 |
A living benchmark framework for symbolic regression |
Jun 20, 2022 |
|
None |
2 |
Open-source symbolic execution framework: https://maat.re |
Jul 21, 2023 |
|
C |
5 |
CTL symbolic model-checker based on libDDD and libITS |
Dec 29, 2021 |
|
C++ |
6 |
Symbolic Execution Tool based on CBMC |
Mar 02, 2022 |
|
C++ |
7 |
SymCC: efficient compiler-based symbolic execution |
Apr 26, 2022 |
|
C++ |
641 |
SymCC: efficient compiler-based symbolic execution |
May 11, 2023 |
|
C++ |
4 |
Core Components for the Gaudi-based Key4hep Framework |
Aug 12, 2022 |
|
Julia |
3 |
Core RL Framework for Julia (based off RLGlue) |
May 08, 2022 |
|
C# |
15 |
GRPC based Micro-Service Framework (.net core 2.0) |
Oct 30, 2021 |
|
JavaScript |
6 |
Browser based pong clone featuring a neuro-evolved AI opponent. |
Aug 23, 2020 |
|
Haskell |
177 |
The symbolic execution engine powering the K Framework |
Aug 21, 2022 |
|
C# |
4 |
Learning .NET Core MVC and Entity Framework Core |
Feb 19, 2023 |
|
PHP |
452 |
CiviCRM (Core Application and Framework) |
Sep 01, 2022 |
|
PHP |
3 |
CiviCRM (Core Application and Framework) |
Jan 19, 2021 |
|
PHP |
2 |
CiviCRM (Core Application and Framework) |
Apr 14, 2020 |
|
JavaScript |
45 |
Abilian Core framework and services |
Apr 24, 2023 |
|
PHP |
2 |
CiviCRM (Core Application and Framework) |
Aug 13, 2019 |
|
PHP |
2 |
CiviCRM (Core Application and Framework) |
Mar 23, 2024 |
|
Python |
2 |
Content-based symbolic music retrieval service infrastructure. |
Apr 22, 2023 |
|
C |
244 |
SymQEMU: Compilation-based symbolic execution for binaries |
May 11, 2023 |