cheuktingli / psitip

Related projects ⓘ

Alternatives and complementary repositories for psitip

• Tractables / PressedJuice.jl
  Lossless compression using Probabilistic Circuits
  ☆16Updated 2 years ago
• tech-srl / weighted_lstar
  implementation for "learning weighted deterministic automata from queries and counterexamples", neurips 2019
  ☆18Updated 4 years ago
• jkuck / BPNN
  ☆22Updated 3 years ago
• sun-umn / NCVX
  NCVX: A User-Friendly and Scalable Package for Nonconvex Optimization in Machine Learning
  ☆36Updated 2 years ago
• probsys / sppl
  Probabilistic programming system for fast and exact symbolic inference
  ☆76Updated 4 months ago
• reactive-systems / deepltl
  Official implementation of Teaching Temporal Logics to Neural Networks (https://arxiv.org/abs/2003.04218)
  ☆31Updated 2 years ago
• LUMII-Syslab / QuerySAT
  Official repository for paper "Goal-Aware Neural SAT Solver"
  ☆15Updated last year
• plai-group / gsdm
  Graphically structured diffusion model.
  ☆18Updated last year
• crunchiness / lernd
  Lernd is ∂ILP (dILP) framework implementation based on Deepmind's paper Learning Explanatory Rules from Noisy Data.
  ☆24Updated last year
• martius-lab / CombOptNet
  Source code for the Paper: CombOptNet: Fit the Right NP-Hard Problem by Learning Integer Programming Constraints}
  ☆72Updated 2 years ago
• bodono / scs-python
  Python interface for SCS
  ☆41Updated this week
• fabricerosay / AlphaGPU
  Alphazero on GPU thanks to CUDA.jl
  ☆32Updated 3 years ago
• mattjj / ode-diff-notes
  ☆12Updated 4 years ago
• james-simon / eigenlearning
  codebase for "A Theory of the Inductive Bias and Generalization of Kernel Regression and Wide Neural Networks"
  ☆49Updated last year
• optsuite / optlib
  ☆37Updated 2 months ago
• zawagner22 / cross-entropy-for-combinatorics
  Code accompanying the manuscript "Constructions in combinatorics via neural networks and LP solvers".
  ☆54Updated 3 years ago
• bdusell / semiring-einsum
  Generic PyTorch implementation of einsum that supports different semirings
  ☆46Updated 4 months ago
• neildhir / DCBO
  Dynamic causal Bayesian optimisation
  ☆35Updated last year
• facebookresearch / LA-MCTS
  High dimensional black-box optimizer using Latent Action Monte Carlo Tree Search algorithm
  ☆25Updated 2 years ago
• ML-KULeuven / PySDD
  Python package for Sentential Decision Diagrams (SDD)
  ☆54Updated 3 weeks ago
• thegregyang / NTK4A
  Code for the paper: "Tensor Programs II: Neural Tangent Kernel for Any Architecture"
  ☆97Updated 4 years ago
• Tractables / pyjuice
  Scalable training and inference for Probabilistic Circuits
  ☆49Updated last week
• UCLA-StarAI / SparsePC
  ☆12Updated last year
• willieneis / bayesian-algorithm-execution
  Bayesian algorithm execution (BAX)
  ☆48Updated 3 years ago
• daajoe / GPUSAT
  ☆11Updated 3 years ago
• smonsays / jax-hypernetwork
  A simple hypernetwork implementation in jax using haiku.
  ☆23Updated 2 years ago
• nicola-bastianello / tvopt
  tvopt is a prototyping and benchmarking Python framework for time-varying (or online) optimization.
  ☆13Updated last year
• facebookresearch / SparseBO
  code associated with paper "Sparse Bayesian Optimization"
  ☆25Updated last year
• jxbz / nero
  👑 Pytorch code for the Nero optimiser.
  ☆20Updated 2 years ago
• Cranial-XIX / BOME
  ☆13Updated last year