alcides / GeneticEngineLinks
Program Synthesis framework that features heuristics methods (e.g., Genetic Programming) and grammars are defined in Python dataclasses
☆49Updated this week
Alternatives and similar repositories for GeneticEngine
Users that are interested in GeneticEngine are comparing it to the libraries listed below
Sorting:
- Implementation of a differentiable CGP (Cartesian Genetic Programming)☆113Updated 3 years ago
- Differentiable probabilistic answer set programming☆26Updated 3 months ago
- ☆13Updated last year
- Probabilistic programming system for fast and exact symbolic inference☆82Updated last year
- An inductive logic programming system☆237Updated 2 weeks ago
- Repository to host the GRAPE code developed by the BDS group☆13Updated 4 months ago
- Simple implementations of Cartesian Genetic Programming (CGP) and Linear Genetic Programming (LGP) in JAX☆11Updated last week
- Experimentation framework for Popper☆23Updated 2 months ago
- Haskell prototype to accompany the paper "ADEV: Sound Automatic Differentiation of Expected Values of Probabilistic Programs"☆66Updated last year
- ☆37Updated 11 months ago
- PonyGE2: grammatical evolution and variants in Python☆172Updated 2 months ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆68Updated last year
- Exact optimization for cost function networks and additive graphical models☆61Updated 2 weeks ago
- Push Genetic Programming in Python.☆76Updated 2 years ago
- Code Building Genetic Programming for a narrow subset of the Clojure language.☆10Updated last year
- Counterexample-Driven Genetic Programming☆18Updated 3 years ago
- ☆73Updated 3 years ago
- A toolbox for logical and probabilistic reasoning, StarAI, ILP and Program synthesis☆23Updated 4 years ago
- Tiny Genetic Programming in Python.☆105Updated 2 years ago
- Symbolic regression is the task of identifying a mathematical expression that best fits a provided dataset of input and output values. In…☆53Updated 3 years ago
- a collection of Gymnasium environments for saturation provers☆23Updated 3 weeks ago
- Convex optimization modeling in Lean 4☆55Updated last year
- C++ Large Scale Genetic Programming☆182Updated last month
- Pedagogical first-order prover in Python☆76Updated 4 months ago
- A paper describing the implementation of PySR and SymbolicRegression.jl☆60Updated last year
- A Python library for logic formalisms representation and manipulation.☆16Updated last year
- C. Hocquette and A. Cropper, Learning programs with magic values.☆19Updated 3 years ago
- Implementation of SGE Algorithm in Python 3☆21Updated last year
- Implementation of higher-order logic in Python☆65Updated 2 years ago
- LattE integrale, software for counting lattice points and integration over convex polytopes☆48Updated 5 months ago