Alternatives and similar repositories for psitip

Users that are interested in psitip are comparing it to the libraries listed below

• ML-KULeuven / PySDD
  Python package for Sentential Decision Diagrams (SDD)
  ☆63Updated 5 months ago
• facebookresearch / LA-MCTS
  High dimensional black-box optimizer using Latent Action Monte Carlo Tree Search algorithm
  ☆28Updated 2 years ago
• optsuite / optlib
  ☆61Updated 2 months ago
• Wenda302 / IsarStep
  Code and dataset for the paper "IsarStep: a Benchmark for High-level Mathematical Reasoning"
  ☆12Updated 4 years ago
• probsys / sppl
  Probabilistic programming system for fast and exact symbolic inference
  ☆81Updated last year
• HEmile / storchastic
  Stochastic Automatic Differentiation library for PyTorch.
  ☆205Updated 11 months ago
• Tractables / ProbabilisticCircuits.jl
  Probabilistic Circuits from the Juice library
  ☆107Updated last year
• inpefess / gym-saturation
  a collection of Gymnasium environments for saturation provers
  ☆22Updated last month
• zawagner22 / cross-entropy-for-combinatorics
  Code accompanying the manuscript "Constructions in combinatorics via neural networks and LP solvers".
  ☆56Updated 3 years ago
• microsoft / knossos-ksc
  Compiler with automatic differentiation
  ☆48Updated last year
• JmlrOrg / jmlr-style-file
  LaTeX style file for the Journal of Machine Learning Research
  ☆143Updated last year
• verified-optimization / CvxLean
  Convex optimization modeling in Lean 4
  ☆51Updated last year
• Tractables / pyjuice
  Scalable training and inference for Probabilistic Circuits
  ☆72Updated 3 weeks ago
• google-deepmind / PGMax
  Loopy belief propagation for factor graphs on discrete variables in JAX
  ☆154Updated 9 months ago
• bdusell / semiring-einsum
  Generic PyTorch implementation of einsum that supports different semirings
  ☆50Updated last year
• danieljtait / jax_xla_adventures
  Dive into Jax, Flax, XLA and C++
  ☆31Updated 5 years ago
• YinTat / optimizationbook
  ☆142Updated 2 months ago
• fabricerosay / AlphaGPU
  Alphazero on GPU thanks to CUDA.jl
  ☆32Updated 3 years ago
• MilesCranmer / sympy2jax
  Turning SymPy expressions into JAX functions
  ☆45Updated 4 years ago
• akbir / deq-jax
  [NeurIPS'19] Deep Equilibrium Models Jax Implementation
  ☆40Updated 4 years ago
• sun-umn / NCVX
  NCVX: A User-Friendly and Scalable Package for Nonconvex Optimization in Machine Learning
  ☆36Updated 3 years ago
• cambridge-mlg / EinsumNetworks
  ☆52Updated last year
• google-deepmind / jax_verify
  Neural network verification in JAX
  ☆145Updated last year
• crunchiness / lernd
  Lernd is ∂ILP (dILP) framework implementation based on Deepmind's paper Learning Explanatory Rules from Noisy Data.
  ☆24Updated 2 years ago
• PerformanceEstimation / PEPit
  PEPit is a package enabling computer-assisted worst-case analyses of first-order optimization methods.
  ☆88Updated this week
• albertqjiang / INT
  Official code for paper: INT: An Inequality Benchmark for Evaluating Generalization in Theorem Proving
  ☆39Updated 2 years ago
• alreich / abstract_algebra
  Abstract Algebra: An implementation of Finite Algebras: Groups, Rings, Fields, Vector Spaces, Modules, Monoids, Semigroups, and Magmas. …
  ☆20Updated last week
• HazyResearch / mongoose
  A Learnable LSH Framework for Efficient NN Training
  ☆32Updated 4 years ago
• mattjj / ode-diff-notes
  ☆12Updated 4 years ago
• pilancilab / scnn
  Scalable Convex Neural Networks
  ☆24Updated 3 months ago