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
- Experiments with variational autoencoders in Julia☆16Updated 5 years ago
- The Juice package for circuits in artificial intelligence, both logic and probabilistic☆12Updated 3 years ago
- ResNet implementation in Julia☆11Updated 3 years ago
- Groebner bases in (almost) pure Julia☆70Updated this week
- Exact real arithmetic in Julia☆13Updated 5 years ago
- non-extensible/hardcoded pattern matching, core of MLStyle☆16Updated 3 years ago
- ☆15Updated 2 years ago
- Learning Algebraic Varieties from Samples☆24Updated last year
- MDP and RL interface for PDDL domains via PDDL.jl + POMDPs.jl.☆16Updated 9 months ago
- A Julia wrapper for the OpenSpiel project☆12Updated 7 months ago
- ☆20Updated last month
- LattE integrale, software for counting lattice points and integration over convex polytopes☆47Updated last year
- Common interface for symbolic terms, allowing symbolic libraries with different underlying structures to interact and convert☆38Updated 4 months ago
- An experimental implementation of sum-product networks with dense unitary transformations in leaves☆13Updated 2 years ago
- Alphazero on GPU thanks to CUDA.jl☆32Updated 3 years ago
- Probabilistic Circuits in Julia☆10Updated last year
- Conservative floating point interval arithmetic in Lean☆16Updated 3 months ago
- Extension of MultivariatePolynomials to moments of multivariate measures☆13Updated 2 months ago
- for you with the good questions☆26Updated 3 years ago
- Library for causal and probabilistic inference in Julia☆11Updated 2 months ago
- Tangent bundle, vector space and Submanifold definition☆50Updated 3 weeks ago
- Probabilistic inference using contraction of tensor networks☆19Updated 2 weeks ago
- A ray-tracer for curved spacetimes☆13Updated last year
- Algorithms for optimization of Julia expressions☆45Updated 7 months ago
- A Julia library for automated deduction in Euclidean geometry.☆23Updated 2 years ago
- A package for your code to understand scoping rules(including mutability of free variables).☆18Updated 3 years ago
- Extension of MultivariatePolynomials to semialgebraic sets☆22Updated 6 months ago
- introduction to dataflow analysis using julia☆14Updated 4 years ago
- ☆23Updated 3 years ago
- Online inference on reactive probabilistic models, with SMC and symbolic methods☆16Updated last year