dylanpeifer / deepgroebnerLinks
Applications of reinforcement learning to Groebner basis computation.
☆15Updated 4 years ago
Alternatives and similar repositories for deepgroebner
Users that are interested in deepgroebner are comparing it to the libraries listed below
Sorting:
- Convex optimization modeling in Lean 4☆58Updated last year
- Learning Algebraic Varieties from Samples☆24Updated last year
- Experiments with variational autoencoders in Julia☆17Updated 6 years ago
- Library for causal and probabilistic inference in Julia☆12Updated 10 months ago
- LattE integrale, software for counting lattice points and integration over convex polytopes☆49Updated 7 months ago
- Probabilistic programming system for fast and exact symbolic inference☆84Updated last year
- List of Treewidth solvers, instances, and tools☆36Updated 3 years ago
- Groebner bases in (almost) pure Julia☆74Updated last week
- The Juice package for circuits in artificial intelligence, both logic and probabilistic☆12Updated 3 years ago
- MDP and RL interface for PDDL domains via PDDL.jl + POMDPs.jl.☆16Updated last year
- Probabilistic Circuits from the Juice library☆106Updated last year
- ☆32Updated last week
- Julia package for the Singular library☆35Updated this week
- ☆28Updated 3 years ago
- The Yao compiler project☆21Updated 4 years ago
- Constrained LUmping of differential Equations☆13Updated last year
- Exact real arithmetic in Julia☆13Updated 5 years ago
- A framework for composing and simulating multiphysics systems☆78Updated last week
- Semidefinite programming optimization solver☆98Updated 6 months ago
- Differential forms in Julia☆15Updated last year
- Discrete differential geometry on simplicial complexes☆26Updated 5 years ago
- The fastest tropical matrix multiplication in the world!☆32Updated last week
- An efficient symbolic term rewriting engine☆78Updated 4 years ago
- Julia interface to Z3☆71Updated 3 weeks ago
- Probabilistic programming with programmable inference for parallel accelerators.☆37Updated 2 weeks ago
- introduction to dataflow analysis using julia☆14Updated 5 years ago
- Cone program refinement☆10Updated 5 years ago
- Generic abstract algebra functionality in pure Julia (no C dependencies)☆55Updated 3 years ago
- Julia package for learning cellular sheaf Laplacians☆16Updated 4 years ago
- Julia bindings to the SAT solver picosat☆32Updated last year