namin / llm-verified-with-monte-carlo-tree-search
LLM verified with Monte Carlo Tree Search
☆249Updated 2 months ago
Related projects ⓘ
Alternatives and complementary repositories for llm-verified-with-monte-carlo-tree-search
- LLMs + Lean, on your laptop or in the cloud☆122Updated 2 weeks ago
- Tutorial on neural theorem proving☆155Updated 10 months ago
- Retrieval-Augmented Theorem Provers for Lean☆225Updated 2 months ago
- Extract full next-token probabilities via language model APIs☆228Updated 8 months ago
- a curated list of data for reasoning ai☆111Updated 3 months ago
- Use context-free grammars with an LLM☆162Updated 7 months ago
- Reasoning Computers. Lambda Calculus, Fully Differentiable. Also Neural Stacks, Queues, Arrays, Lists, Trees, and Latches.☆233Updated last week
- Official codebase for the paper "Beyond A* Better Planning with Transformers via Search Dynamics Bootstrapping".☆313Updated 4 months ago
- llmstep: [L]LM proofstep suggestions in Lean 4.☆118Updated 11 months ago
- Materials for ConceptARC paper☆76Updated this week
- LILO: Library Induction with Language Observations☆78Updated 2 months ago
- ☆99Updated 3 months ago
- Code for NeurIPS'24 paper 'Grokked Transformers are Implicit Reasoners: A Mechanistic Journey to the Edge of Generalization'☆160Updated last month
- Code to reproduce "Transformers Can Do Arithmetic with the Right Embeddings", McLeish et al (NeurIPS 2024)☆176Updated 5 months ago
- Erasing concepts from neural representations with provable guarantees☆208Updated 3 weeks ago
- Learning Universal Predictors☆69Updated 3 months ago
- Visualizing the internal board state of a GPT trained on chess PGN strings, and performing interventions on its internal board state and …☆192Updated 5 months ago
- Certified Reasoning with Language Models☆27Updated 11 months ago
- Diffusion on syntax trees for program synthesis☆417Updated 4 months ago
- Draw more samples☆174Updated 4 months ago
- [NeurIPS 2023 D&B] Code repository for InterCode benchmark https://arxiv.org/abs/2306.14898☆194Updated 6 months ago
- Controlled Text Generation via Language Model Arithmetic☆211Updated last month
- ☆33Updated last week
- The official repository for the paper Multilingual Mathematical Autoformalization☆32Updated 5 months ago
- Cost aware hyperparameter tuning algorithm☆119Updated 4 months ago
- Benchmark for undergraduate-level formal mathematics☆93Updated 3 weeks ago
- [ICML 2023] "Outline, Then Details: Syntactically Guided Coarse-To-Fine Code Generation", Wenqing Zheng, S P Sharan, Ajay Kumar Jaiswal, …☆36Updated last year
- Formalizing stochastic doubly-efficient debate☆92Updated last month
- A domain-specific probabilistic programming language for modeling and inference with language models☆112Updated last year
- ☆99Updated this week