Alternatives and similar repositories for psitip

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

• Wenda302 / IsarStep
  Code and dataset for the paper "IsarStep: a Benchmark for High-level Mathematical Reasoning"
  ☆12Updated 4 years ago
• facebookresearch / LA-MCTS
  High dimensional black-box optimizer using Latent Action Monte Carlo Tree Search algorithm
  ☆29Updated 3 years ago
• ML-KULeuven / PySDD
  Python package for Sentential Decision Diagrams (SDD)
  ☆68Updated 2 weeks ago
• probsys / sppl
  Probabilistic programming system for fast and exact symbolic inference
  ☆84Updated last year
• crunchiness / lernd
  Lernd is ∂ILP (dILP) framework implementation based on Deepmind's paper Learning Explanatory Rules from Noisy Data.
  ☆26Updated 2 years ago
• google-deepmind / PGMax
  Loopy belief propagation for factor graphs on discrete variables in JAX
  ☆161Updated last year
• taucompling / mdlrnn
  Minimum Description Length Recurrent Neural Networks
  ☆18Updated 2 years ago
• carnotresearch / cr-sparse
  Functional models and algorithms for sparse signal processing
  ☆96Updated 2 years ago
• chanind / tensor-theorem-prover
  First-order logic theorem prover supporting unification with approximate vector similarity
  ☆13Updated 2 years ago
• optsuite / optlib
  ☆80Updated 2 months ago
• toshas / torch-householder
  Efficient Householder Transformation in PyTorch
  ☆67Updated 4 years ago
• HEmile / storchastic
  Stochastic Automatic Differentiation library for PyTorch.
  ☆208Updated last year
• dylanpeifer / deepgroebner
  Applications of reinforcement learning to Groebner basis computation.
  ☆15Updated 4 years ago
• alreich / abstract_algebra
  Abstract Algebra: An implementation of Finite Algebras: Groups, Rings, Fields, Vector Spaces, Modules, Monoids, Semigroups, and Magmas. …
  ☆22Updated 3 months ago
• MilesCranmer / sympy2jax
  Turning SymPy expressions into JAX functions
  ☆45Updated 4 years ago
• YinTat / optimizationbook
  ☆148Updated 6 months ago
• inpefess / gym-saturation
  a collection of Gymnasium environments for saturation provers
  ☆23Updated 2 months ago
• sun-umn / NCVX
  NCVX: A User-Friendly and Scalable Package for Nonconvex Optimization in Machine Learning
  ☆38Updated 3 years ago
• 921kiyo / symbolic-rl
  Symbolic Reinforcement Learning using Inductive Logic Programming
  ☆62Updated 2 years ago
• sandialabs / Prove-It
  A tool for proving and organizing general theorems using Python.
  ☆30Updated this week
• Tractables / ProbabilisticCircuits.jl
  Probabilistic Circuits from the Juice library
  ☆106Updated last year
• fabricerosay / AlphaGPU
  Alphazero on GPU thanks to CUDA.jl
  ☆32Updated 4 years ago
• omron-sinicx / srsd-benchmark
  [DMLR] Rethinking Symbolic Regression Datasets and Benchmarks for Scientific Discovery
  ☆37Updated last year
• pylon-lib / pylon
  ☆123Updated last year
• IBM / pylspack
  A lightweight, multithreaded Python package for sketching, column selection, leverage scores and related computations.
  ☆20Updated 2 months ago
• bodono / scs-python
  Python interface for SCS
  ☆45Updated 2 weeks ago
• verified-optimization / CvxLean
  Convex optimization modeling in Lean 4
  ☆58Updated last year
• gugarosa / learnergy
  💡 Learnergy is a Python library for energy-based machine learning models.
  ☆69Updated 9 months ago
• arranger1044 / probabilistic-circuits
  A curated collection of papers on probabilistic circuits, computational graphs encoding tractable probability distributions.
  ☆51Updated last year
• pilancilab / scnn
  Scalable Convex Neural Networks
  ☆24Updated 7 months ago