Alternatives and similar repositories for gym-saturation

Users that are interested in gym-saturation are comparing it to the libraries listed below

• Chronosymbolic / Chronosymbolic-Learning
  Artifact for paper "Chronosymbolic: Efficient CHC Solving with Symbolic Reasoning and Inductive Learning" in Python
  ☆11Updated last year
• gpoesia / peano
  An environment for learning formal mathematical reasoning from scratch
  ☆72Updated last year
• google-deepmind / levintreesearch_cm
  ☆33Updated 3 months ago
• lonsing / depqbf
  DepQBF, a solver for quantified boolean formulae (QBF).
  ☆39Updated 2 years ago
• logic-and-learning-lab / ilp-experiments
  Experimentation framework for Popper
  ☆23Updated 5 months ago
• namin / holey
  Python library for program synthesis and symbolic execution combining constraint solving and LLMs
  ☆35Updated this week
• daajoe / GPUSAT
  ☆11Updated 4 years ago
• opencompl / egg-tactic-code
  ☆16Updated 2 years ago
• whitemech / FOND4LTLf
  FOND4LTLf translates an LTLf/PLTLf-FOND to standard FOND planning problems
  ☆16Updated last year
• kenjyoung / mctx_learning_demo
  ☆53Updated 2 years ago
• ebmoon / transformers-GAD
  [NeurIPS'24] Grammar-Aligned Decoding: An algorithm to constrain LLMs' outputs without distorting its original distribution
  ☆24Updated 10 months ago
• biotomas / ipasir
  The Standard Interface for Incremental Satisfiability Solving
  ☆50Updated 3 years ago
• leanprover-community / lean-client-python
  Python talking to the Lean theorem prover
  ☆46Updated 4 years ago
• ilaspltd / ILASP-releases
  ☆39Updated last year
• egraphs-good / egraph-serialize
  egraph <-> json
  ☆15Updated last week
• ai4reason / ATP_Proofs
  Interesting ATP Proofs
  ☆13Updated 4 years ago
• jesse-michael-han / lean-step-public
  Proof artifact co-training for Lean
  ☆44Updated 3 years ago
• MatthiasNickles / diff-SAT
  Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
  ☆69Updated last year
• probsys / sppl
  Probabilistic programming system for fast and exact symbolic inference
  ☆84Updated last year
• LLM4Rocq / nlir
  Automatic theorem proving via natural language reasoning with LLMs
  ☆20Updated 7 months ago
• UQ-PAC / BASIL
  The Basil pipeline for concurrent information flow analysis in AArch64 binaries.
  ☆17Updated this week
• RobinKa / egga
  Symbolic Geometric Algebra with E-Graphs
  ☆19Updated 2 years ago
• IBM / LOA
  Neuro-Symbolic Reinforcement Learning: Logical Optimal Action (LOA), a novel RL with Logical Neural Network (LNN) on text-based games
  ☆55Updated 3 months ago
• AdaptiveSubgoalSearch / adaptive_subs
  Adaptive Subgoal Search
  ☆20Updated 2 years ago
• google-deepmind / debate
  Formalizing stochastic doubly-efficient debate
  ☆116Updated last year
• jesse-michael-han / lean-gptf
  Interactive neural theorem proving in Lean
  ☆131Updated 3 years ago
• giorgia-nadizar / cgpax
  Simple implementations of Cartesian Genetic Programming (CGP) and Linear Genetic Programming (LGP) in JAX
  ☆11Updated 2 months ago
• riswords / quiche
  ☆24Updated 2 years ago
• lio-wong / dreamcoder
  ☆74Updated 3 years ago
• owl-toolkit / owl
  ☆20Updated 2 years ago