Alternatives and similar repositories for LambdaBeam

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

• google-research / crossbeam
  ☆43Updated 2 years ago
• kanishkg / synchromesh
  Get language models to generate responses in a specific format reliably. Open source implementation of Synchromesh: Reliable code generat…
  ☆29Updated last year
• mlb2251 / stitch
  A scalable abstraction learning library
  ☆80Updated this week
• ChuyueSun / Clover
  Clover: Closed-Loop Verifiable Code Generation
  ☆35Updated 2 months ago
• gpoesia / peano
  An environment for learning formal mathematical reasoning from scratch
  ☆72Updated 11 months ago
• rohanmukh / nsg
  ☆20Updated 3 years ago
• nathanael-fijalkow / DeepSynth
  General-purpose program synthesiser
  ☆46Updated 9 months ago
• xiye17 / SAT-LM
  SatLM: SATisfiability-Aided Language Models using Declarative Prompting (NeurIPS 2023)
  ☆49Updated last year
• trishullab / copra
  COPRA: An in-COntext PRoof Agent which uses LLMs like GPTs to prove theorems in formal languages.
  ☆66Updated 2 months ago
• Some-random / theorem-proving-reasoning
  Code for the paper LeanReasoner: Boosting Complex Logical Reasoning with Lean: https://arxiv.org/pdf/2403.13312.pdf
  ☆22Updated last year
• google-deepmind / levintreesearch_cm
  ☆32Updated 2 weeks ago
• AI-Planning / lifted-pddl
  A lightweight framework for the efficient parsing and manipulation of PDDL in lifted form.
  ☆17Updated last year
• berlino / grammar-prompting
  Grammar Prompting for Domain-Specific Language Generation with Large Language Models
  ☆75Updated last year
• andrewcropper / iggp
  A. Cropper, R. Evans, and M. Law. Inductive general game playing. Machine learning, 2019.
  ☆12Updated 2 years ago
• k4ntz / NUDGE
  Logic Reinforcement Learning
  ☆16Updated last year
• Mondego / dafny-synthesis
  [FSE-2024] Towards AI-Assisted Synthesis of Verified Dafny Methods
  ☆48Updated last year
• whitemech / FOND4LTLf
  FOND4LTLf translates an LTLf/PLTLf-FOND to standard FOND planning problems
  ☆16Updated 9 months ago
• benlipkin / linc
  🔗 LINC: Logical Inference via Neurosymbolic Computation [EMNLP2023]
  ☆71Updated last year
• cvndsh / rebus
  REBUS: A Robust Evaluation Benchmark of Understanding Symbols
  ☆13Updated 11 months ago
• facebookresearch / miniF2F
  An updated version of miniF2F with lots of fixes and informal statements / solutions.
  ☆90Updated 7 months ago
• ellisk42 / humanlike_fewshot_learning
  ☆29Updated last year
• google-deepmind / debate
  Formalizing stochastic doubly-efficient debate
  ☆107Updated 10 months ago
• wellecks / naturalprover
  NaturalProver: Grounded Mathematical Proof Generation with Language Models
  ☆38Updated 2 years ago
• samacqua / LARC
  Language-annotated Abstraction and Reasoning Corpus
  ☆90Updated 2 years ago
• AdaptiveSubgoalSearch / adaptive_subs
  Adaptive Subgoal Search
  ☆19Updated 2 years ago
• facebookresearch / LeanUniverse
  LeanUniverse: A Library for Consistent and Scalable Lean4 Dataset Management
  ☆69Updated 6 months ago
• IBM / LOA
  Neuro-Symbolic Reinforcement Learning: Logical Optimal Action (LOA), a novel RL with Logical Neural Network (LNN) on text-based games
  ☆47Updated 3 months ago
• RickySkywalker / TheoremLlama
  This is the official repository for all the code of TheoremLlama
  ☆44Updated 9 months ago
• shihui2010 / symbolic_simplifier
  PyTorch implementation for the Deep Symbolic Simplification Without Human Knowledge
  ☆14Updated 4 years ago
• harmonic-ai / datasets
  Harmonic Datasets
  ☆45Updated last year