Demo for Neuro-Symbolic Agent (LOA)
☆17Sep 27, 2022Updated 3 years ago
Alternatives and similar repositories for nesa-demo
Users that are interested in nesa-demo are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Neuro-Symbolic Reinforcement Learning: Logical Optimal Action (LOA), a novel RL with Logical Neural Network (LNN) on text-based games☆56Sep 17, 2025Updated 6 months ago
- A service that parses a sentence using AMR and returns a set of Verbnet logic predicates grounded with the roles of the input sentence.☆13Apr 6, 2022Updated 3 years ago
- A `Neural = Symbolic` framework for sound and complete weighted real-value logic☆309Mar 16, 2026Updated last week
- Lernd is ∂ILP (dILP) framework implementation based on Deepmind's paper Learning Explanatory Rules from Noisy Data.☆27Mar 25, 2023Updated 3 years ago
- A neurosymbolic T5 agent for playing text games, from the EACL 2023 paper "Behavior Cloned Transformers are Neurosymbolic Reasoners"☆20Feb 25, 2023Updated 3 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Control SuperCollider with node-red☆17Aug 5, 2023Updated 2 years ago
- Tableau-based Theorem Prover for Natural Logic and Language☆120Nov 14, 2025Updated 4 months ago
- A. Cropper and S.H. Muggleton. Learning efficient logic programs. Machine learning, 2019.☆14Apr 14, 2018Updated 7 years ago
- Neuro-Symbolic AI Toolkit☆114Sep 17, 2025Updated 6 months ago
- Adaptive Neuro-Symbolic Network Agent☆41Jun 11, 2022Updated 3 years ago
- Knowledge-Aware RL agents with Commonsense Reasoning☆79Mar 4, 2022Updated 4 years ago
- Combine fMRI/EEG to learn about music/auditory processing☆16Dec 8, 2022Updated 3 years ago
- General Inductive Logic Programming System☆18Sep 22, 2022Updated 3 years ago
- Abstract Spatial-Temporal Reasoning via Probabilistic Abduction and Execution☆26Mar 18, 2021Updated 5 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- A Rust implementation of Yolo for object detection and tracking.☆10Nov 17, 2022Updated 3 years ago
- Code for Findings of ACL 2021 paper: Logic-Consistency Text Generation from Semantic Parses☆26Aug 3, 2021Updated 4 years ago
- documentation for things like relations and parts of speech used by wordnets☆14Jun 18, 2024Updated last year
- A WAM (Warren Abstract Machine for Prolog) written in Common Lisp☆13Mar 24, 2019Updated 7 years ago
- Holographic Reduced Representations☆30Dec 4, 2025Updated 3 months ago
- Integrating Symbolic Programming and Neuromorphic Modeling for Edge Labs with NVIDIA Jetson, DGX Spark, and GPU-based DNN/ML Systems☆15Updated this week
- First-order automated theorem prover based on the tableau method☆18Jan 3, 2026Updated 2 months ago
- Official Release of NeurIPS 2020 Spotlight paper "Generative Neurosymbolic Machines"☆36Mar 9, 2024Updated 2 years ago
- The framework for next generation data center.☆29Aug 24, 2025Updated 7 months ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- ☆15Oct 14, 2025Updated 5 months ago
- Two-stage text summarization with BERT and BART☆11Jan 5, 2022Updated 4 years ago
- A convenience layer over sb-ext:run-program☆11Jan 20, 2015Updated 11 years ago
- Allegro Common Lisp interface to Solr☆15Mar 4, 2026Updated 3 weeks ago
- PyTorch-based radio-interferometric imaging reconstruction package with scalable Bayesian uncertainty quantification relying on data-driv…☆12Feb 17, 2025Updated last year
- ☆13Apr 25, 2022Updated 3 years ago
- To assess the longtext capabilities more comprehensively, we propose Needle-in-a-Haystack PLUS, which shifts the focus from simple fact r…☆13Mar 4, 2024Updated 2 years ago
- program synthesis with neuro-symbolic differentiable interpreters☆17Sep 17, 2025Updated 6 months ago
- Open source package for accelerated symbolic discovery of fundamental laws.☆122Sep 17, 2025Updated 6 months ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Integrated RDF Surfaces inspired by Pat Hayes, Patrick Hochstenbach and EYE.☆13Aug 13, 2025Updated 7 months ago
- ☆15Mar 26, 2024Updated 2 years ago
- The Grammar Matrix☆15Updated this week
- Inducing Taxonomic Knowledge from Pretrained Transformers☆13Jul 30, 2023Updated 2 years ago
- Example implemention of the Proximal Policy Optimization algorithm☆17Jul 25, 2024Updated last year
- LLM Dynamic Planner - Combining LLM with PDDL Planners to solve an embodied task☆48Jan 4, 2025Updated last year
- Verified decision procedures for modal logics in Lean☆12Jun 13, 2020Updated 5 years ago