namin / llm-verified-with-monte-carlo-tree-searchLinks
LLM verified with Monte Carlo Tree Search
☆278Updated 4 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:
- a curated list of data for reasoning ai☆137Updated last year
- Official codebase for the paper "Beyond A* Better Planning with Transformers via Search Dynamics Bootstrapping".☆372Updated last year
- LILO: Library Induction with Language Observations☆88Updated 11 months ago
- Reasoning Computers. Lambda Calculus, Fully Differentiable. Also Neural Stacks, Queues, Arrays, Lists, Trees, and Latches.☆267Updated 9 months ago
- LLMs + Lean, on your laptop or in the cloud☆173Updated 3 weeks ago
- Harmonic Datasets☆43Updated last year
- Tutorial on neural theorem proving☆174Updated last year
- LeanUniverse: A Library for Consistent and Scalable Lean4 Dataset Management☆69Updated 6 months ago
- Retrieval-Augmented Theorem Provers for Lean☆287Updated 6 months ago
- Extract full next-token probabilities via language model APIs☆247Updated last year
- Diffusion on syntax trees for program synthesis☆470Updated last year
- Draw more samples☆193Updated last year
- Materials for ConceptARC paper☆98Updated 9 months ago
- a categorical deep learning compiler☆203Updated 5 months ago
- A domain-specific probabilistic programming language for modeling and inference with language models☆132Updated 3 months ago
- Neural theorem proving tutorial, version II☆38Updated last year
- Repository for the paper Stream of Search: Learning to Search in Language☆149Updated 6 months ago
- Certified Reasoning with Language Models☆31Updated last year
- Visualizing the internal board state of a GPT trained on chess PGN strings, and performing interventions on its internal board state and …☆208Updated 8 months ago
- Controlled Text Generation via Language Model Arithmetic☆222Updated 10 months ago
- Alice in Wonderland code base for experiments and raw experiments data☆131Updated last month
- Our solution for the arc challenge 2024☆166Updated last month
- Code to reproduce "Transformers Can Do Arithmetic with the Right Embeddings", McLeish et al (NeurIPS 2024)☆190Updated last year
- An environment for learning formal mathematical reasoning from scratch☆72Updated 11 months ago
- An interactive exploration of Transformer programming.☆267Updated last year
- Implementing RASP transformer programming language https://arxiv.org/pdf/2106.06981.pdf.☆58Updated 3 years ago
- ☆88Updated 7 months ago
- ☆172Updated 3 months ago
- Probabilistic programming with large language models☆127Updated last week
- Long context evaluation for large language models☆220Updated 5 months ago