namin / llm-verified-with-monte-carlo-tree-searchLinks
LLM verified with Monte Carlo Tree Search
☆275Updated 2 months ago
Alternatives and similar repositories for llm-verified-with-monte-carlo-tree-search
Users that are interested in llm-verified-with-monte-carlo-tree-search are comparing it to the libraries listed below
Sorting:
- Official codebase for the paper "Beyond A* Better Planning with Transformers via Search Dynamics Bootstrapping".☆367Updated 11 months ago
- a curated list of data for reasoning ai☆136Updated 10 months ago
- LeanUniverse: A Library for Consistent and Scalable Lean4 Dataset Management☆64Updated 4 months ago
- LILO: Library Induction with Language Observations☆86Updated 9 months ago
- Retrieval-Augmented Theorem Provers for Lean☆272Updated 4 months ago
- LLMs + Lean, on your laptop or in the cloud☆155Updated last month
- Harmonic Datasets☆40Updated 10 months ago
- Tutorial on neural theorem proving☆174Updated last year
- Reasoning Computers. Lambda Calculus, Fully Differentiable. Also Neural Stacks, Queues, Arrays, Lists, Trees, and Latches.☆257Updated 7 months ago
- llmstep: [L]LM proofstep suggestions in Lean 4.☆134Updated last year
- The official repository for the paper Multilingual Mathematical Autoformalization☆36Updated last year
- Code to reproduce "Transformers Can Do Arithmetic with the Right Embeddings", McLeish et al (NeurIPS 2024)☆190Updated last year
- Visualizing the internal board state of a GPT trained on chess PGN strings, and performing interventions on its internal board state and …☆205Updated 6 months ago
- Repository for the paper Stream of Search: Learning to Search in Language☆147Updated 4 months ago
- A domain-specific probabilistic programming language for modeling and inference with language models☆130Updated last month
- Bootstrapping ARC☆125Updated 6 months ago
- An updated version of miniF2F with lots of fixes and informal statements / solutions.☆84Updated 5 months ago
- Controlled Text Generation via Language Model Arithmetic☆221Updated 8 months ago
- Diffusion on syntax trees for program synthesis☆461Updated 11 months ago
- a categorical deep learning compiler☆202Updated 3 months ago
- Benchmark for undergraduate-level formal mathematics☆107Updated 7 months ago
- ☆153Updated last month
- Neural theorem proving tutorial, version II☆36Updated last year
- Learning Universal Predictors☆74Updated 10 months ago
- Formal-LLM: Integrating Formal Language and Natural Language for Controllable LLM-based Agents☆123Updated 11 months ago
- Materials for ConceptARC paper☆94Updated 6 months ago
- An evaluation benchmark for undergraduate competition math in Lean4, Isabelle, Coq, and natural language.☆124Updated this week
- Extract full next-token probabilities via language model APIs☆248Updated last year
- Can Language Models Solve Olympiad Programming?☆116Updated 4 months ago
- ☆66Updated 3 years ago