⚙️ Solving sudoku using Deep Reinforcement learning in combination with powerful symbolic representations.
☆75Dec 16, 2021Updated 4 years ago
Alternatives and similar repositories for neuro-symbolic-sudoku-solver
Users that are interested in neuro-symbolic-sudoku-solver are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A comprehensive set of colab notebooks to showcase the principal differences among XAI techniques☆12Aug 4, 2025Updated last year
- Implementation for the Neural Logic Machines (NLM).☆297May 13, 2019Updated 7 years ago
- Demo for Neuro-Symbolic Agent (LOA)☆17Sep 27, 2022Updated 4 years ago
- ☆10Jul 22, 2022Updated 4 years ago
- Neuro-Symbolic Reinforcement Learning: Logical Optimal Action (LOA), a novel RL with Logical Neural Network (LNN) on text-based games☆58Sep 17, 2025Updated last year
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Neuro-Symbolic Visual Question Answering on Sort-of-CLEVR using PyTorch☆63Oct 28, 2021Updated 5 years ago
- SatLM: SATisfiability-Aided Language Models using Declarative Prompting (NeurIPS 2023)☆54Jul 18, 2024Updated 2 years 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 4 years ago
- ☆10May 24, 2021Updated 5 years ago
- The Neuro-Symbolic Forward Reasoner☆30Jun 19, 2023Updated 3 years ago
- Generative Neuro-Symbolic (GNS) Modeling (Feinman & Lake, 2021)☆29Jul 8, 2021Updated 5 years ago
- Instagram Like Prediction☆14Jul 22, 2017Updated 9 years ago
- Codebase for the paper: Not All Neuro-Symbolic Concepts Are Created Equal: Analysis and Mitigation of Reasoning Shortcuts☆24Mar 4, 2024Updated 2 years ago
- Codebase for Neuro-Symbolic Continual Learning.☆27Aug 21, 2023Updated 3 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- ☆21Apr 3, 2023Updated 3 years ago
- A neurosymbolic T5 agent for playing text games, from the EACL 2023 paper "Behavior Cloned Transformers are Neurosymbolic Reasoners"☆21Feb 25, 2023Updated 3 years ago
- A curated list of Neuro-Symbolic Visual Reasoning☆17Jul 23, 2021Updated 5 years ago
- A series of notebook showing how one can post-process anomaly detection models to derive more insights☆12May 6, 2022Updated 4 years ago
- PyTorch code for the RetoMaton paper: "Neuro-Symbolic Language Modeling with Automaton-augmented Retrieval" (ICML 2022)☆77Jul 16, 2022Updated 4 years ago
- Python wrapper and evaluation tools for the Approach Zero search engine core.☆10Nov 4, 2023Updated 2 years ago
- Work I've done for IBM Data Science Professional Certificate (except the Capstone project)☆12Aug 7, 2019Updated 7 years ago
- Abstract Spatial-Temporal Reasoning via Probabilistic Abduction and Execution☆28Mar 18, 2021Updated 5 years ago
- Machine Learning/Pattern Recognition Models to analyze and predict if a client will subscribe for a term deposit given his/her marketing …☆15Jun 5, 2018Updated 8 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- a Carpentries-style lesson introducing the basics of data visualization☆11Updated this week
- A Declarative Theorem Prover for First-Order Classical Logic☆32Jun 14, 2024Updated 2 years ago
- Symbol-Equivariant Recurrent Reasoning Model☆18Mar 4, 2026Updated 7 months ago
- ☆15Dec 3, 2022Updated 3 years ago
- ☆10Jun 1, 2026Updated 4 months ago
- DEPRECATED: replaced by linkml☆24Apr 4, 2021Updated 5 years ago
- [ICLR 2022 Spotlight] Multi-Stage Episodic Control for Strategic Exploration in Text Games☆16Feb 8, 2026Updated 8 months ago
- 100days of ml code☆21Jul 11, 2022Updated 4 years ago
- Official python implementation of ASGRL in ICML 2022 paper: Leveraging Approximate Symbolic Models for Reinforcement Learning via Skill D…☆20Oct 5, 2022Updated 4 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A graph knowledge base implemented in neo4j.☆12Jul 3, 2018Updated 8 years ago
- ☆23Sep 15, 2020Updated 6 years ago
- variations on lisp, exploring reflection☆12Jun 21, 2025Updated last year
- Staged regular expression library for MetaOCaml☆12Jun 30, 2023Updated 3 years ago
- A survey on machine learning for combinatorial optimization.☆12Updated this week
- An LLM chatbot augmented by neuro-symbolic rules☆10Jun 8, 2023Updated 3 years ago
- Neural Logic Inductive Learning☆44Aug 6, 2022Updated 4 years ago