dylanpeifer / deepgroebner
Applications of reinforcement learning to Groebner basis computation.
☆11Updated 3 years ago
Alternatives and similar repositories for deepgroebner
Users that are interested in deepgroebner are comparing it to the libraries listed below
Sorting:
- The Juice package for circuits in artificial intelligence, both logic and probabilistic☆12Updated 3 years ago
- Learning Algebraic Varieties from Samples☆24Updated last year
- Probabilistic Circuits in Julia☆10Updated last year
- Library for causal and probabilistic inference in Julia☆11Updated 3 months ago
- ☆28Updated 3 years ago
- Probabilistic inference using contraction of tensor networks☆19Updated this week
- Probabilistic programming system for fast and exact symbolic inference☆79Updated 10 months ago
- LattE integrale, software for counting lattice points and integration over convex polytopes☆48Updated 2 weeks ago
- ☆15Updated 2 years ago
- Groebner bases in (almost) pure Julia☆69Updated this week
- non-extensible/hardcoded pattern matching, core of MLStyle☆16Updated 3 years ago
- Experiments with variational autoencoders in Julia☆16Updated 5 years ago
- List of Treewidth solvers, instances, and tools☆34Updated 2 years ago
- Julia bindings to the SAT solver picosat☆31Updated last year
- A Julia library for automated deduction in Euclidean geometry.☆23Updated 2 years ago
- Common interface for symbolic terms, allowing symbolic libraries with different underlying structures to interact and convert☆38Updated 5 months ago
- Julia library providing functionality for modeling Simplicial Complexes and Cochains over them. Its main feature is a clean interface to …☆18Updated 3 months ago
- An efficient symbolic term rewriting engine☆77Updated 4 years ago
- Extension of MultivariatePolynomials to moments of multivariate measures☆13Updated 3 weeks ago
- The fastest Tropical number matrix multiplication on GPU☆10Updated 5 months ago
- for you with the good questions☆26Updated 3 years ago
- A Julia wrapper for the OpenSpiel project☆12Updated 8 months ago
- An experimental implementation of sum-product networks with dense unitary transformations in leaves☆13Updated 2 years ago
- Convex optimization modeling in Lean 4☆46Updated 11 months ago
- Tensor algebra abstract type interoperability setup☆43Updated 6 months ago
- ResNet implementation in Julia☆11Updated 3 years ago
- Julia interface for the Blossom V perfect matching algorithm☆14Updated 4 years ago
- ☆10Updated 8 months ago
- introduction to dataflow analysis using julia☆14Updated 4 years ago
- Julia implementation of stochastic optimization algorithms for large-scale optimal transport.☆17Updated 3 years ago