LLM verified with Monte Carlo Tree Search
☆10Nov 15, 2023Updated 2 years 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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆24Feb 3, 2026Updated 4 months ago
- Python wrapper for lean-gym☆13Apr 5, 2023Updated 3 years ago
- A Lean 4 package for heavy numerical computations☆20Jan 16, 2022Updated 4 years ago
- AIRAS - an open-source project for research automation☆28Mar 26, 2026Updated 3 months ago
- ☆19Jul 30, 2021Updated 4 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆13Dec 20, 2019Updated 6 years ago
- QueryConnector - Attach queries on OpenOffice/LibreOffice Calc spreadsheet documents.☆11Jun 9, 2025Updated last year
- Approximating the joint distribution of language models via MCTS☆22Nov 3, 2024Updated last year
- Expo project template for ReScript☆12Oct 5, 2020Updated 5 years ago
- Silent Whisper inference for privacy and performance.☆12May 15, 2026Updated last month
- ☆24Aug 27, 2025Updated 10 months ago
- LLMs playing chess are sensitive to how the position came to be☆25Feb 14, 2024Updated 2 years ago
- ☆73Mar 25, 2026Updated 3 months ago
- link sharing and bullshit aggregator☆17Jul 14, 2015Updated 10 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- BH hackathon☆14Apr 4, 2024Updated 2 years ago
- ☆15Feb 12, 2025Updated last year
- experiment☆12Jan 1, 2023Updated 3 years ago
- ☆13Jun 29, 2024Updated 2 years ago
- ☆19Apr 10, 2025Updated last year
- minimalistic wrapper for chatgpt api for better prompt engineering☆11Jul 9, 2023Updated 2 years ago
- [ICML 2022] Official implementation of "Score-Guided Intermediate Layer Optimization: Fast Langevin Mixing for Inverse Problems".☆12Jul 19, 2022Updated 3 years ago
- Get a number of your tweets from the Twitter API.☆14May 1, 2022Updated 4 years ago
- Frizbee is a the the only decentralized democratic social aggregator site, and it puts a big focus on privacy and averting censorship.☆15Jun 25, 2015Updated 11 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Bayesian scaling laws for in-context learning.☆16Mar 12, 2025Updated last year
- A scoped, heatmapping, load-balancing todo list.☆86Mar 14, 2014Updated 12 years ago
- A well typed by construction kernel language for bidirectional programming☆14Jan 2, 2025Updated last year
- ☆82Apr 17, 2026Updated 2 months ago
- [TMLR 2026 J2C Certification] Previously at GenBio ICML 2025☆22Apr 28, 2026Updated 2 months ago
- ☆33Sep 10, 2024Updated last year
- Tree-Based Diffusion Schrödinger Bridge with Applications to Wasserstein Barycenters☆10Mar 5, 2024Updated 2 years ago
- ☆12Nov 21, 2024Updated last year
- ☆37Feb 20, 2025Updated last year
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- ☆10Oct 18, 2023Updated 2 years ago
- 🚧 SimpleXMQ - JavaScript SMP protocol client and agent 🏗☆13Jan 4, 2022Updated 4 years ago
- Nix-friendly fork of: Optimized Stable Diffusion modified to run on lower GPU VRAM☆10Sep 11, 2022Updated 3 years ago
- The AutoFlight drone control program☆21Mar 21, 2016Updated 10 years ago
- ☆17May 8, 2024Updated 2 years ago
- MishformerLens intends to be a drop-in replacement for TransformerLens that AST patches HuggingFace Transformers rather than implementing…☆10Oct 7, 2024Updated last year
- The hubski.com API☆14Apr 23, 2016Updated 10 years ago