A curated paper list on neural symbolic and probabilistic logic.
☆135Sep 5, 2023Updated 2 years ago
Alternatives and similar repositories for Neural-Symbolic-and-Probabilistic-Logic-Papers
Users that are interested in Neural-Symbolic-and-Probabilistic-Logic-Papers are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- An Elegant Library for Bayesian Deep Learning in PyTorch☆27Dec 19, 2022Updated 3 years ago
- A `Neural = Symbolic` framework for sound and complete weighted real-value logic☆311Updated this week
- A Scalable Approximate Method for Probabilistic Neurosymbolic Inference☆23Jan 27, 2025Updated last year
- [TPAMI] "Symbolic Visual Reinforcement Learning: A Scalable Framework with Object-Level Abstraction and Differentiable Expression Search"…☆17Jan 4, 2023Updated 3 years ago
- An explainable inference software supporting annotated, real valued, graph based and temporal logic☆333Mar 18, 2026Updated last week
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- ☆11Jun 9, 2023Updated 2 years ago
- Coupling rejection strategy against adversarial attacks (CVPR 2022)☆29Mar 2, 2022Updated 4 years ago
- A collection of papers of neural-symbolic AI (mainly focus on NLP applications)☆296Aug 17, 2024Updated last year
- ☆109Feb 16, 2024Updated 2 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
- ☆14Aug 18, 2022Updated 3 years ago
- A proof-of-concept parser for the Prolog programming language, at the Bern University of Applied Sciences for the course "Automata and fo…☆11Jan 17, 2014Updated 12 years ago
- ☆45Oct 11, 2021Updated 4 years ago
- DatasetResearch: Benchmarking Agent Systems for Demand-Driven Dataset Discovery☆20Sep 24, 2025Updated 6 months ago
- NordVPN Special Discount Offer • AdSave on top-rated NordVPN 1 or 2-year plans with secure browsing, privacy protection, and support for for all major platforms.
- All code and content for my blog.☆15Sep 23, 2018Updated 7 years ago
- ☆12Oct 20, 2020Updated 5 years ago
- Scalable Training of Propositional Logical Neural Networks.☆15Feb 4, 2022Updated 4 years ago
- ☆20Mar 14, 2022Updated 4 years ago
- ☆18Jul 20, 2023Updated 2 years ago
- [NeurIPS 2021] Better Safe Than Sorry: Preventing Delusive Adversaries with Adversarial Training☆32Jan 9, 2022Updated 4 years ago
- A Self-Consistent Robust Error (ICML 2022)☆68Jun 25, 2023Updated 2 years ago
- An inductive logic programming system☆277Updated this week
- 🔗 LINC: Logical Inference via Neurosymbolic Computation [EMNLP2023]☆80Jan 2, 2024Updated 2 years ago
- NordVPN Threat Protection Pro™ • AdTake your cybersecurity to the next level. Block phishing, malware, trackers, and ads. Lightweight app that works with all browsers.
- Official Release of NeurIPS 2020 Spotlight paper "Generative Neurosymbolic Machines"☆36Mar 9, 2024Updated 2 years ago
- Neuro-Symbolic Hierarchical Rule Induction☆14Dec 31, 2022Updated 3 years ago
- ICLR'22 Programmatic Reinforcement Learning☆17Apr 15, 2023Updated 2 years ago
- Framework and Language for Neurosymbolic Programming.☆462May 1, 2025Updated 10 months ago
- Code for the paper Analytic-DPM: an Analytic Estimate of the Optimal Reverse Variance in Diffusion Probabilistic Models (ICLR 2022 Outsta…☆174May 18, 2022Updated 3 years ago
- the instructions and demonstrations for building a formal logical reasoning capable GLM☆54Sep 3, 2024Updated last year
- ☆48Feb 9, 2021Updated 5 years ago
- Notebooks for reproducing the paper "Computer Vision with a Single (Robust) Classifier"☆129Oct 24, 2019Updated 6 years ago
- Lernd is ∂ILP (dILP) framework implementation based on Deepmind's paper Learning Explanatory Rules from Noisy Data.☆27Mar 25, 2023Updated 3 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- A novel approach to learning concept embeddings and approximate reasoning in ALC knowledge bases with neural networks☆14Feb 7, 2023Updated 3 years ago
- Experiments of the "Multi-Agent Trajectory Planning with NUV Priors" paper☆12Oct 14, 2024Updated last year
- PyTorch implementation of Logic Tensor Networks, a Neural-Symbolic framework.☆151Oct 2, 2024Updated last year
- The Juice package for circuits in artificial intelligence, both logic and probabilistic☆12Mar 8, 2022Updated 4 years ago
- Code to replicate "Generating Visual Explanations"☆48Nov 1, 2020Updated 5 years ago
- Implementation for the Neural Logic Machines (NLM).☆295May 13, 2019Updated 6 years ago
- Neurosymbolic transformers for multi-agent communication.☆22Oct 22, 2020Updated 5 years ago