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
- 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
- SMT-LIB benchmarks for shape computations from deep learning models in PyTorch☆18Dec 21, 2022Updated 3 years ago
- C. Hocquette and A. Cropper, Learning programs with magic values.☆19Oct 5, 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
- ☆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
- 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
- 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
- An open source python library for non-linear piecewise symbolic regression based on Genetic Programming☆37Jan 18, 2026Updated 3 weeks 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
- A game server for Cube 2: Sauerbraten.☆12Oct 5, 2025Updated 4 months ago
- 🔮 Mastermind puzzle solver using Genetic Algorithm and Grid Search for optimization☆13Dec 21, 2023Updated 2 years ago
- A scheduler to manage a multi tool dual arm robot while avoiding arm-to-arm collisions; considering complex side constraints; and optimiz…☆11Jul 6, 2021Updated 4 years ago
- The codebase contains the implementation for the paper "An asset subset-constrained minimax optimization framework for online portfolio s…☆11Dec 3, 2024Updated last year
- Complexity analysis in Lean☆10Feb 5, 2024Updated 2 years ago
- This is genetic algorithm based trajectory planner for any n linked planar robotic arm☆10Nov 25, 2017Updated 8 years ago
- Teaching a humanoid to walk(ish), then displaying in your browser (using tensorflow.js and reinforcement learning)☆10Sep 7, 2020Updated 5 years ago
- 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
- A GPU-friendly implementation of SpliceAI☆11Dec 8, 2022Updated 3 years ago
- A projet for simulating the rescue after a disaster☆10Dec 4, 2020Updated 5 years ago
- To-Do app - A Kotlin introduction and dev diary☆12Sep 11, 2019Updated 6 years ago
- A recreation of the Amadeus in steins;gate 0, more specifically the desktop version of Amadeus in Viktor chondria univiersity, I tried to…☆22Jul 28, 2025Updated 6 months ago
- GAMELAN (Game Mengenal Budaya Nusantara)☆11Jul 13, 2018Updated 7 years ago