The implementation of FOLD-R++ algorithm
☆19Nov 27, 2023Updated 2 years ago
Alternatives and similar repositories for FOLD-R-PP
Users that are interested in FOLD-R-PP are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆11May 22, 2021Updated 5 years ago
- A Scalable Approximate Method for Probabilistic Neurosymbolic Inference☆25Jan 27, 2025Updated last year
- (Explainable AI) - Learning Non-Monotonic Logic Programs From Statistical Models Using High-Utility Itemset Mining☆37Mar 28, 2020Updated 6 years ago
- GQR, a Fast Reasoner for Binary Qualitative Constraint Calculi☆21Nov 11, 2017Updated 8 years ago
- IPython / Jupyter notebook magic☆21Sep 7, 2018Updated 7 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.
- ☆19Feb 22, 2023Updated 3 years ago
- Vision Relation Transformer for Unbiased Scene Graph Generation (ICCV 2023)☆22Mar 23, 2026Updated 2 months ago
- BoolXAI is a research library for machine learning for Explainable AI (XAI) based on expressive Boolean formulas.☆21Oct 10, 2025Updated 8 months ago
- See and get in touch with your contacts from elementary OS☆25Updated this week
- Lernd is ∂ILP (dILP) framework implementation based on Deepmind's paper Learning Explanatory Rules from Noisy Data.☆27Mar 25, 2023Updated 3 years ago
- Official implementation of ISSTA 2022 paper: MDPFuzz: Testing Models Solving Markov Decision Processes.☆25Dec 17, 2022Updated 3 years ago
- Experimentation framework for Popper☆25Jul 24, 2025Updated 10 months ago
- A Haskell probabilistic programming library.☆21May 28, 2026Updated 3 weeks ago
- ☆24Jan 27, 2026Updated 4 months ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Algorithms for solving temporal planning problems☆29Jan 27, 2023Updated 3 years ago
- Multi-purpose bot for hypixel skyblock☆16Apr 12, 2024Updated 2 years ago
- LAPKT public repository☆42Mar 27, 2025Updated last year
- PDP: A General Neural Framework for Learning Constraint Satisfaction Solvers☆42Jun 12, 2023Updated 3 years ago
- Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.☆39Updated this week
- Efficiently Composable Data Augmentation on the GPU with Jax☆42May 16, 2025Updated last year
- The Code Tracer☆34Jan 22, 2025Updated last year
- A metalanguage for creating sophisticated DSLs in Racket.☆40Oct 14, 2025Updated 8 months ago
- ⚙️ A conflict-driven nogood learning answer set solver☆146Jun 3, 2026Updated 2 weeks ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Port of Aleph to SWI-Prolog☆53Feb 7, 2024Updated 2 years ago
- ☆41Nov 11, 2024Updated last year
- Neuro-Symbolic AI, published by Packt☆47Mar 2, 2026Updated 3 months ago
- High-quality implementations of deep reinforcement learning algorithms for experiments☆51Aug 30, 2024Updated last year
- ☆49Dec 8, 2022Updated 3 years ago
- NuCS is a Python constraint programming library for solving Constraint Satisfaction and Optimization Problems over finite domains☆57Updated this week
- Code for CVPR23 paper: Learning to Generate Language-supervised and Open-vocabulary Scene Graph using Pre-trained Visual-Semantic Space☆43Oct 21, 2023Updated 2 years ago
- This is the official repository for the paper "Visually-Prompted Language Model for Fine-Grained Scene Graph Generation in an Open World"…☆49Mar 12, 2024Updated 2 years ago
- TBLIS is a library and framework for performing tensor operations, especially tensor contraction, using efficient native algorithms.☆144Apr 24, 2026Updated last month
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Exact optimization for cost function networks and additive graphical models☆66Updated this week
- Top-down interpreter for ASP programs with Constraints☆39Jun 30, 2025Updated 11 months ago
- Beginner's guide to Tactic Programming in Lean☆84Apr 24, 2026Updated last month
- ☆97Jun 8, 2026Updated last week
- A Testing Framework for Lean☆79Apr 15, 2026Updated 2 months ago
- Libraries useful for Dafny programs☆50Aug 19, 2025Updated 9 months ago
- An inductive logic programming system☆298Jun 11, 2026Updated last week