A toolbox for logical and probabilistic reasoning, StarAI, ILP and Program synthesis
☆23Mar 19, 2021Updated 4 years ago
Alternatives and similar repositories for loreleai
Users that are interested in loreleai are comparing it to the libraries listed below
Sorting:
- Verifying encodings into propositional logic in Lean☆14Aug 14, 2023Updated 2 years ago
- A generic genetic programming framework that aims to make genetic programming easier for a myriad of uses. Currently, the main target is …☆25Jun 9, 2022Updated 3 years ago
- System for eXtended Hybrid Abductive Inductive Learning☆26Jun 8, 2021Updated 4 years ago
- DSL with focus on simulations: Compiling a subset of Python with LLVM for high-performance execution☆11Nov 5, 2015Updated 10 years ago
- BoostSRL: "Boosting for Statistical Relational Learning." A gradient-boosting based approach for learning different types of SRL models.☆31Sep 11, 2023Updated 2 years ago
- Experiments with some ways of automating reasoning in lean 4☆17Apr 20, 2024Updated last year
- Tensorflow implementation for the Class-wise Selective Rationalization☆15Feb 15, 2023Updated 3 years ago
- SMT-LIB benchmarks for shape computations from deep learning models in PyTorch☆18Dec 21, 2022Updated 3 years ago
- Metagol - an inductive logic programming system☆207Sep 13, 2021Updated 4 years ago
- [NeurIPS'24] Grammar-Aligned Decoding: An algorithm to constrain LLMs' outputs without distorting its original distribution☆25Feb 10, 2025Updated last year
- ☆38Nov 11, 2024Updated last year
- Lean course materials for Brown CS 22, Spring 2023☆20Nov 20, 2023Updated 2 years ago
- Incremental Learning Event Definitions☆15Jul 21, 2015Updated 10 years ago
- Counterexample-Driven Genetic Programming☆18Jun 11, 2022Updated 3 years ago
- A modular library for CDCL(T) SMT solvers, with [wip] proof generation.☆26Feb 8, 2026Updated last month
- Implementation, configuration files, and parsing scripts for the Analysis of Cartesian Genetic Programming’s Evolutionary Mechanisms publ…☆19May 11, 2015Updated 10 years ago
- ☆49Nov 11, 2023Updated 2 years ago
- Language-independent, search-based program repair -- just your cup of tea! ☕☆30Jul 9, 2024Updated last year
- Relational data mining in python☆32Nov 16, 2022Updated 3 years ago
- Charter, TSC, and other governance documents.☆15Mar 13, 2024Updated last year
- Top-down induction of first-order logical decision trees: master AI thesis implementation☆26Sep 21, 2020Updated 5 years ago
- Call Julia code from Prolog☆27Nov 11, 2022Updated 3 years ago
- RelNN is a novel first-order deep neural model for relational learning.☆28Nov 15, 2017Updated 8 years ago
- [research] A modular SMT solver in OCaml, based on mcSAT☆39Jan 1, 2024Updated 2 years ago
- An open source python library for non-linear piecewise symbolic regression based on Genetic Programming☆37Jan 18, 2026Updated last month
- ☆10Jul 29, 2022Updated 3 years ago
- RRT*(RRT Star)-based algorithms for Path Planning of Autonomous Driving, in Python2.☆12Jun 28, 2020Updated 5 years ago
- Evolutionary decision trees☆11Jun 16, 2025Updated 8 months ago
- Informed Rapidly-exploring Random Tree-Star with C# Programming☆10Nov 6, 2021Updated 4 years ago
- Neural Network approaches for the Traveling Salesman Problem☆10Apr 20, 2021Updated 4 years ago
- LoMRF is an open-source implementation of Markov Logic Networks☆87Sep 7, 2024Updated last year
- Simple MapReduce implementation in Python, for text file parallel processing☆20Mar 3, 2012Updated 14 years ago
- A GPU-friendly implementation of SpliceAI☆11Dec 8, 2022Updated 3 years ago
- Proof-carrying code completions in Dafny☆11Apr 4, 2025Updated 11 months ago
- ☆12Jun 18, 2024Updated last year
- A mirror of Isabelle/Scala code from the official Isabelle repository at http://isabelle.in.tum.de/repos/isabelle/. Restructured as Eclip…☆15Jul 10, 2014Updated 11 years ago
- GAMELAN (Game Mengenal Budaya Nusantara)☆11Jul 13, 2018Updated 7 years ago
- ☆14Jan 11, 2021Updated 5 years ago
- To-Do app - A Kotlin introduction and dev diary☆12Sep 11, 2019Updated 6 years ago