namin / llm-verified-with-monte-carlo-tree-search
LLM verified with Monte Carlo Tree Search
☆251Updated 2 months ago
Related projects ⓘ
Alternatives and complementary repositories for llm-verified-with-monte-carlo-tree-search
- Official codebase for the paper "Beyond A* Better Planning with Transformers via Search Dynamics Bootstrapping".☆322Updated 5 months ago
- a curated list of data for reasoning ai☆112Updated 3 months ago
- LILO: Library Induction with Language Observations☆78Updated 2 months ago
- Retrieval-Augmented Theorem Provers for Lean☆229Updated 2 months ago
- Tutorial on neural theorem proving☆157Updated 10 months ago
- Learning Universal Predictors☆69Updated 3 months ago
- Extract full next-token probabilities via language model APIs☆229Updated 8 months ago
- Reasoning Computers. Lambda Calculus, Fully Differentiable. Also Neural Stacks, Queues, Arrays, Lists, Trees, and Latches.☆235Updated 2 weeks ago
- LLMs + Lean, on your laptop or in the cloud☆124Updated 3 weeks ago
- Visualizing the internal board state of a GPT trained on chess PGN strings, and performing interventions on its internal board state and …☆193Updated this week
- Materials for ConceptARC paper☆77Updated 2 weeks ago
- Use context-free grammars with an LLM☆163Updated 8 months ago
- Diffusion on syntax trees for program synthesis☆420Updated 4 months ago
- Controlled Text Generation via Language Model Arithmetic☆212Updated 2 months ago
- Code to reproduce "Transformers Can Do Arithmetic with the Right Embeddings", McLeish et al (NeurIPS 2024)☆178Updated 5 months ago
- llmstep: [L]LM proofstep suggestions in Lean 4.☆119Updated last year
- Harmonic Datasets☆32Updated 4 months ago
- ☆52Updated 2 years ago
- ModuleFormer is a MoE-based architecture that includes two different types of experts: stick-breaking attention heads and feedforward exp…☆216Updated 7 months ago
- Code and data for "Lumos: Learning Agents with Unified Data, Modular Design, and Open-Source LLMs"☆448Updated 8 months ago
- Can Language Models Solve Olympiad Programming?☆100Updated 3 months ago
- Code for NeurIPS'24 paper 'Grokked Transformers are Implicit Reasoners: A Mechanistic Journey to the Edge of Generalization'☆161Updated last month
- The history files when recording human interaction while solving ARC tasks☆95Updated this week
- ☆101Updated 3 months ago
- ☆198Updated last year
- RuLES: a benchmark for evaluating rule-following in language models☆211Updated last month
- [NeurIPS'24] SelfCodeAlign: Self-Alignment for Code Generation☆268Updated 2 weeks ago
- Public repository for "The Surprising Effectiveness of Test-Time Training for Abstract Reasoning"☆181Updated this week
- A domain-specific probabilistic programming language for modeling and inference with language models☆112Updated last year
- A repo to evaluate various LLM's chess playing abilities.☆68Updated 7 months ago