Alternatives and similar repositories for LambdaBeam

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

• 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
  ☆83Updated 3 months ago
• google-research / crossbeam
  ☆44Updated 2 years ago
• ChuyueSun / Clover
  Clover: Closed-Loop Verifiable Code Generation
  ☆37Updated 7 months ago
• gpoesia / peano
  An environment for learning formal mathematical reasoning from scratch
  ☆71Updated last year
• xiye17 / SAT-LM
  SatLM: SATisfiability-Aided Language Models using Declarative Prompting (NeurIPS 2023)
  ☆51Updated last year
• MoonshotAI / CombiBench
  ☆40Updated 2 weeks ago
• trishullab / copra
  COPRA: An in-COntext PRoof Agent which uses LLMs like GPTs to prove theorems in formal languages.
  ☆68Updated last month
• nathanael-fijalkow / DeepSynth
  DeepSynth is a general-purpose program synthesizer in the programming by example framework: the user provides a few examples as pairs of …
  ☆48Updated last year
• probcomp / genlm-control
  ☆11Updated 8 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
  ☆24Updated last year
• Lizn-zn / NeqLIPS
  NeqLIPS: a powerful Olympiad-level inequality prover
  ☆39Updated 3 months ago
• Ying1123 / awesome-neural-symbolic
  A list of awesome neural symbolic papers.
  ☆50Updated 3 years ago
• RickySkywalker / TheoremLlama
  This is the official repository for all the code of TheoremLlama
  ☆47Updated 4 months ago
• facebookresearch / miniF2F
  An updated version of miniF2F with lots of fixes and informal statements / solutions.
  ☆97Updated 11 months ago
• ellisk42 / humanlike_fewshot_learning
  ☆30Updated 2 years ago
• jinpz / dtv
  The official code release for Don't Trust: Verify -- Grounding LLM Quantitative Reasoning with Autoformalization
  ☆34Updated 9 months ago
• trishullab / clever
  CLEVER: Code Lean Evaluation for Verified End-to-end Reasoning
  ☆33Updated last week
• albertqjiang / INT
  Official code for paper: INT: An Inequality Benchmark for Evaluating Generalization in Theorem Proving
  ☆39Updated 3 years ago
• benlipkin / linc
  🔗 LINC: Logical Inference via Neurosymbolic Computation [EMNLP2023]
  ☆78Updated last year
• albertqjiang / MMA
  The official repository for the paper Multilingual Mathematical Autoformalization
  ☆38Updated last year
• princeton-vl / MetaGen
  Code for the paper "Learning to Prove Theorems by Learning to Generate Theorems"
  ☆33Updated 5 years ago
• daajoe / GPUSAT
  ☆11Updated 4 years ago
• emalach / LinearLM
  Code for the paper: https://arxiv.org/pdf/2309.06979.pdf
  ☆21Updated last year
• Lizn-zn / Nesy-Programming
  ☆10Updated last year
• Chronosymbolic / Chronosymbolic-Learning
  Artifact for paper "Chronosymbolic: Efficient CHC Solving with Symbolic Reasoning and Inductive Learning" in Python
  ☆11Updated last year
• shihui2010 / symbolic_simplifier
  PyTorch implementation for the Deep Symbolic Simplification Without Human Knowledge
  ☆14Updated 4 years ago
• IBM / TensorLNN
  Scalable Training of Propositional Logical Neural Networks.
  ☆15Updated 3 years ago
• probcomp / LLaMPPL
  A domain-specific probabilistic programming language for modeling and inference with language models
  ☆140Updated 8 months ago
• logic-and-learning-lab / ilp-experiments
  Experimentation framework for Popper
  ☆23Updated 5 months ago