HewlettPackard / LSGILinks
Large-Scale Graph Inference
☆12Updated 8 months ago
Alternatives and similar repositories for LSGI
Users that are interested in LSGI are comparing it to the libraries listed below
Sorting:
- Automatic differentiation for NumPy☆42Updated 12 years ago
- A compiler for BLOG probabilistic programming language☆26Updated 7 years ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆64Updated last year
- Learning to Prune: Exploring the Frontier of Fast and Accurate Parsing☆22Updated 9 months ago
- Metal: Learning a Meta-Solver for Syntax-Guided Program Synthesis☆15Updated 6 years ago
- A CUDA implementation of the Tsetlin Machine based on bitwise operators☆26Updated 5 years ago
- Program synthesis☆12Updated 9 years ago
- Improving spiking dynamical networks: Accurate delays, higher-order synapses, and time cells☆7Updated 7 years ago
- An interface to SAT solver tools (like minisat)☆60Updated 2 years ago
- Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.☆33Updated 4 years ago
- Code for the 2-simplicial Transformer paper☆21Updated 5 years ago
- ProBO: Versatile Bayesian Optimization Using Any Probabilistic Programming Language☆15Updated 6 years ago
- deep learning for math☆30Updated 6 years ago
- Modification to Coq to record intermediate proof states encountered during a proof☆8Updated 6 years ago
- Combining Symbolic and Function Evaluation Expressions In Neural Programs☆34Updated 5 years ago
- Experimental implementation of k-CFA and Pushdown k-CFA with optional Abstract Garbage Collection for LambdaJS and a subset of Scheme pro…☆31Updated 9 years ago
- ☆17Updated 7 years ago
- An attempt at replicating Deepmind's Neural Turing Machines in Theano☆11Updated 8 years ago
- Deep Probabilistic Programming Language☆19Updated 11 months ago
- Automatic Differentiation for Tensor Algebras☆28Updated 7 years ago
- Shine - A symbolic regression machine☆11Updated 14 years ago
- Codebase for plCoP, a Prolog Technology Reinforcement Learning Prover☆12Updated 4 years ago
- Code for the paper "Learning to Prove Theorems by Learning to Generate Theorems"☆32Updated 4 years ago
- Tree-based Autofolding Software Summarization Algorithm☆42Updated 8 years ago
- ☆28Updated 6 years ago
- Probabilistic Itemset Mining☆19Updated 9 years ago
- ☆8Updated 6 years ago
- ☆43Updated 7 years ago
- Optimal approximate sampling from discrete probability distributions☆17Updated 4 years ago
- Downloading and displaying academic ancestry☆16Updated 9 years ago