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
- Online inference on reactive probabilistic models, with SMC and symbolic methods☆16Updated last year
- Groebner bases in (almost) pure Julia☆69Updated this week
- Constrained LUmping of differential Equations☆13Updated 5 months ago
- Experiments with variational autoencoders in Julia☆16Updated 5 years ago
- List of Treewidth solvers, instances, and tools☆34Updated 2 years ago
- for you with the good questions☆26Updated 3 years ago
- ☆21Updated this week
- Library for causal and probabilistic inference in Julia☆11Updated 3 weeks ago
- Probabilistic programming system for fast and exact symbolic inference☆78Updated 7 months ago
- The materials for the ModelingToolkit workshop at JuliaCon 2024. Hierarchical Component-Based Modeling with ModelingToolkit.jl☆15Updated 3 months ago
- Learning Algebraic Varieties from Samples☆24Updated last year
- An experimental implementation of sum-product networks with dense unitary transformations in leaves☆13Updated 2 years ago
- Modern Hopfield layer implementations in Julia☆15Updated 2 years ago
- ☆31Updated 3 months ago
- Julia implementation of the Flash Attention algorithm☆18Updated last year
- Julia package for the Singular library☆35Updated this week
- non-extensible/hardcoded pattern matching, core of MLStyle☆16Updated 3 years ago
- Convex optimization modeling in Lean 4☆43Updated 9 months ago
- A Julia wrapper for the OpenSpiel project☆11Updated 5 months ago
- ☆28Updated 3 years ago
- A Julia library for automated deduction in Euclidean geometry.☆22Updated 2 years ago
- Learning to optimize (L2O) package that provides basic functionalities to help fit proxy models for optimization.☆12Updated this week
- Alphazero on GPU thanks to CUDA.jl☆32Updated 3 years ago
- Differentiable matrix factorizations using ImplicitDifferentiation.jl.☆30Updated last year
- Exact inference for discrete probabilistic programs. (Research code, more documentation and ergonomics to come)☆83Updated last year
- Compiler with automatic differentiation☆46Updated last year
- ☆15Updated 2 years ago
- Common interface for symbolic terms, allowing symbolic libraries with different underlying structures to interact and convert☆38Updated 3 months ago
- Exact real arithmetic in Julia☆13Updated 5 years ago
- Julia wrapper for the Spot LTL and automata manipulation library☆17Updated 8 months ago