Alternatives and similar repositories for psitip

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

• facebookresearch / LA-MCTS
  High dimensional black-box optimizer using Latent Action Monte Carlo Tree Search algorithm
  ☆29Updated 3 years ago
• bdusell / semiring-einsum
  Generic PyTorch implementation of einsum that supports different semirings
  ☆51Updated 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
  ☆85Updated last year
• HEmile / storchastic
  Stochastic Automatic Differentiation library for PyTorch.
  ☆208Updated last year
• daajoe / GPUSAT
  ☆11Updated 4 years ago
• google-deepmind / PGMax
  Loopy belief propagation for factor graphs on discrete variables in JAX
  ☆164Updated last year
• dselsam / neurocore-public
  NeuroCore: Guiding CDCL with Unsat-Core Predictions
  ☆47Updated 5 years ago
• ML-KULeuven / PySDD
  Python package for Sentential Decision Diagrams (SDD)
  ☆71Updated last month
• dylanpeifer / deepgroebner
  Applications of reinforcement learning to Groebner basis computation.
  ☆15Updated 4 years ago
• inpefess / gym-saturation
  a collection of Gymnasium environments for saturation provers
  ☆23Updated last month
• tech-srl / weighted_lstar
  implementation for "learning weighted deterministic automata from queries and counterexamples", neurips 2019
  ☆18Updated 6 years ago
• carnotresearch / cr-sparse
  Functional models and algorithms for sparse signal processing
  ☆97Updated 2 years ago
• verified-optimization / CvxLean
  Convex optimization modeling in Lean 4
  ☆66Updated last year
• toshas / torch-householder
  Efficient Householder Transformation in PyTorch
  ☆69Updated 4 years ago
• Tractables / ProbabilisticCircuits.jl
  Probabilistic Circuits from the Juice library
  ☆106Updated last year
• Tractables / Alea.jl
  ☆31Updated 3 months ago
• optsuite / optlib
  ☆88Updated this week
• microsoft / knossos-ksc
  Compiler with automatic differentiation
  ☆49Updated 2 years ago
• weighted-model-integration / pywmi
  ☆19Updated 3 years ago
• jxbz / nero
  👑 Pytorch code for the Nero optimiser.
  ☆20Updated 3 years ago
• latte-int / latte
  LattE integrale, software for counting lattice points and integration over convex polytopes
  ☆51Updated 9 months ago
• danieljtait / jax_xla_adventures
  Dive into Jax, Flax, XLA and C++
  ☆32Updated 5 years ago
• LUMII-Syslab / QuerySAT
  Official repository for paper "Goal-Aware Neural SAT Solver"
  ☆17Updated 2 years ago
• IBM / pylspack
  A lightweight, multithreaded Python package for sketching, column selection, leverage scores and related computations.
  ☆20Updated 4 months ago
• crunchiness / lernd
  Lernd is ∂ILP (dILP) framework implementation based on Deepmind's paper Learning Explanatory Rules from Noisy Data.
  ☆27Updated 2 years ago
• Tractables / PressedJuice.jl
  Lossless compression using Probabilistic Circuits
  ☆16Updated 3 years ago
• Aunsiels / pyformlang
  A python library to manipulate formal languages and various automata
  ☆58Updated 5 months ago
• sandialabs / Prove-It
  A tool for proving and organizing general theorems using Python.
  ☆32Updated this week
• mattjj / ode-diff-notes
  ☆12Updated 5 years ago