HewlettPackard / LSGI
Large-Scale Graph Inference
☆13Updated 2 weeks ago
Related projects ⓘ
Alternatives and complementary repositories for LSGI
- Shine - A symbolic regression machine☆11Updated 13 years ago
- Automatic differentiation for NumPy☆42Updated 11 years ago
- A CUDA implementation of the Tsetlin Machine based on bitwise operators☆26Updated 5 years ago
- A compiler for BLOG probabilistic programming language☆25Updated 6 years ago
- ☆10Updated 3 years ago
- Automatic Differentiation for Tensor Algebras☆28Updated 6 years ago
- A platform for unified linear and relational algebra analytics, built on the Accumulo NoSQL database☆11Updated 2 years ago
- The semantics of Java in K☆19Updated 3 years ago
- Build-to-Order BLAS☆11Updated 5 years ago
- Catamount is a compute graph analysis tool to load, construct, and modify deep learning models and to symbolically analyze their compute …☆13Updated 3 years ago
- Python bindings for libNVVM☆37Updated 10 years ago
- Repository for "Known Unknowns: Uncertainty Quality in Bayesian Neural Networks" paper.☆12Updated 7 years ago
- Python term rewriting☆27Updated 11 years ago
- ☆9Updated 5 years ago
- Course notes for CS323: Automated Reasoning☆40Updated 7 years ago
- ☆19Updated 7 years ago
- Experimental implementation of k-CFA and Pushdown k-CFA with optional Abstract Garbage Collection for LambdaJS and a subset of Scheme pro…☆30Updated 8 years ago
- PyPlan is a set of modular Monte-Carlo planning libraries for Python.☆22Updated 9 years ago
- ☆15Updated 6 years ago
- ☆11Updated 3 years ago
- Bloom + C++☆17Updated 7 years ago
- A Parallelism Profiler with What-If analyses for Intel Threading Building Blocks (TBB) programs☆12Updated 6 years ago
- A neural assembly compiler for pyTorch based on adaptive-neural-compilation☆27Updated 6 years ago
- deep learning for math☆29Updated 5 years ago
- SAT solver based on CDCL in Python with Conflict Driven Clause Learning, clever Heuristics - VSIDS, 2 - Literal watch advanced data struc…☆20Updated 4 years ago
- A satisfiability solver for (existential) bit-vector formulas based on the mcSAT framework.☆20Updated last year
- Proximal Asynchronous SAGA☆12Updated 6 years ago
- MCMC for the Dark Energy Spectroscopic Instrument☆13Updated 8 years ago
- Fork of cma-es library by Nikolaus Hansen☆11Updated 7 years ago
- Generating Families of Practical Fast Matrix Multiplication Algorithms☆12Updated 7 years ago