sebdumancic / loreleaiView external linksLinks
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 2 years ago
- C. Hocquette and A. Cropper, Learning programs with magic values.☆19Oct 5, 2022Updated 3 years ago
- SMT-LIB benchmarks for shape computations from deep learning models in PyTorch☆18Dec 21, 2022Updated 3 years ago
- Symbolic computer vision tool☆21Jan 8, 2019Updated 7 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
- ☆39Nov 11, 2024Updated last year
- Lean course materials for Brown CS 22, Spring 2023☆20Nov 20, 2023Updated 2 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 week
- Port of Aleph to SWI-Prolog☆52Feb 7, 2024Updated 2 years ago
- 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
- Experimentation framework for Popper☆25Jul 24, 2025Updated 6 months ago
- Language-independent, search-based program repair -- just your cup of tea! ☕☆30Jul 9, 2024Updated last year
- Top-down induction of first-order logical decision trees: master AI thesis implementation☆26Sep 21, 2020Updated 5 years ago
- Relational data mining in python☆32Nov 16, 2022Updated 3 years ago
- Charter, TSC, and other governance documents.☆15Mar 13, 2024Updated last year
- Code for the paper LeanReasoner: Boosting Complex Logical Reasoning with Lean: https://arxiv.org/pdf/2403.13312.pdf☆26May 25, 2024Updated last year
- 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 3 weeks ago
- Informed Rapidly-exploring Random Tree-Star with C# Programming☆10Nov 6, 2021Updated 4 years ago
- ☆10Jul 29, 2022Updated 3 years ago
- Neural Network approaches for the Traveling Salesman Problem☆10Apr 20, 2021Updated 4 years ago
- RRT*(RRT Star)-based algorithms for Path Planning of Autonomous Driving, in Python2.☆12Jun 28, 2020Updated 5 years ago
- A game server for Cube 2: Sauerbraten.☆12Oct 5, 2025Updated 4 months ago
- Evolutionary decision trees☆11Jun 16, 2025Updated 7 months ago
- An easy-to-use scikit-learn inspired implementation of the Multidimensional Multiclass Genetic Programming with Multidimensional Populati…☆11Dec 3, 2025Updated 2 months ago
- Library for statistical testing and comparison of algorithm results☆16Jul 10, 2025Updated 7 months ago
- LoMRF is an open-source implementation of Markov Logic Networks☆86Sep 7, 2024Updated last year
- Virtual tour in a digital twin of Sabae city in Japan☆13Sep 9, 2021Updated 4 years ago