[ICML2025] Official Repo for Paper "Optimizing Temperature for Language Models with Multi-Sample Inference"
☆23Feb 16, 2025Updated last year
Alternatives and similar repositories for TURN
Users that are interested in TURN are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- [COLM 2026] Official implementation for "GradAlign: Gradient-Aligned Data Selection for LLM Reinforcement Learning"☆15Mar 4, 2026Updated 7 months ago
- Neural theorem proving evaluation via the Lean REPL☆23Jul 12, 2025Updated last year
- [EMNLP 2025] The official implementation for paper "Agentic-R1: Distilled Dual-Strategy Reasoning"☆106Apr 21, 2026Updated 6 months ago
- Easy-to-Hard Generalization: Scalable Alignment Beyond Human Supervision☆124Sep 9, 2024Updated 2 years ago
- ☆27Nov 1, 2021Updated 5 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Repository for "Scaling Evaluation-time Compute with Reasoning Models as Process Evaluators"☆12Mar 25, 2025Updated last year
- Interesting ATP Proofs☆13Sep 3, 2021Updated 5 years ago
- A simple REPL for Lean 4, returning information about errors and sorries.☆12Jun 19, 2023Updated 3 years ago
- ☆18Oct 15, 2026Updated 2 weeks ago
- Transformers for Mathematics Tutorial | Simons/SLMath Workshop on AI for Mathematics 2025☆43Jan 18, 2026Updated 9 months ago
- ☆45Sep 19, 2024Updated 2 years ago
- A pytorch implementation of the ICCV2021 workshop paper SimDis: Simple Distillation Baselines for Improving Small Self-supervised Models☆14Jul 15, 2021Updated 5 years ago
- Here we provide and collect many functions to generate math problem and step by step solutions for LLM training☆19Jun 21, 2023Updated 3 years ago
- NeurIPS 2024 tutorial on LLM Inference☆50Dec 10, 2024Updated last year
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ImProver: Agent-Based Automated Proof Optimization☆44Apr 18, 2026Updated 6 months ago
- Open-source Slack for your AI agent swarm☆45Updated this week
- The Lean Theorem Proving Environment☆15May 7, 2023Updated 3 years ago
- ☆15Jan 27, 2025Updated last year
- [CVPR 2025] VISCO: Benchmarking Fine-Grained Critique and Correction Towards Self-Improvement in Visual Reasoning☆13Jun 7, 2025Updated last year
- finding new ramsey bounds through scaling autoresearch☆49May 13, 2026Updated 5 months ago
- ☆12Feb 20, 2026Updated 8 months ago
- This is the repository for the PR paper [Multi-Level Graph Learning Network for Hyperspectral Image Classification].☆12Feb 28, 2023Updated 3 years ago
- Custom cache implementation to fix KV cache bug in ByteDance/Ouro-1.4B☆11Nov 12, 2025Updated 11 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Official code and dataset for our paper: RefineBench: Evaluating Refinement Capability of Language Models via Checklists☆16Dec 1, 2025Updated 11 months ago
- Official Implementation of NeurIPS'23 Paper "Cross-Episodic Curriculum for Transformer Agents"☆33Oct 12, 2023Updated 3 years ago
- [Project] Tune LLaMA with Prefix/LoRA on English/Chinese instruction datasets☆12Mar 31, 2023Updated 3 years ago
- ☆18Jun 10, 2025Updated last year
- ☆19Jun 3, 2024Updated 2 years ago
- Code for After42, coming soon.☆24Oct 27, 2026Updated last week
- ☆25Apr 21, 2021Updated 5 years ago
- Code of the research paper "SiameseNorm: Breaking the Barrier to Reconciling Pre/Post-Norm"☆14Jul 8, 2026Updated 3 months ago
- A formal proof of NOI 2020 D2T2☆10Sep 9, 2020Updated 6 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Evaluate the Quality of Critique☆37Jun 1, 2024Updated 2 years ago
- This is the repository for the NeurIPS-21 paper [Contrastive Graph Poisson Networks: Semi-Supervised Learning with Extremely Limited Labe…☆12Feb 28, 2023Updated 3 years ago
- An environment for learning formal mathematical reasoning from scratch☆72Aug 18, 2024Updated 2 years ago
- a website for accessing many models through api（deepseek、Qwen、Hunyuan etc.）☆16Jul 12, 2025Updated last year
- Official implementation of the paper "PonderLM-2: Pretraining LLM with Latent Thoughts in Continuous Space"☆18May 6, 2026Updated 5 months ago
- ☆10May 23, 2025Updated last year
- [ICLR 2025 DATA-FM] Training and Evaluating Language Models with Template-based Data Generation (https://arxiv.org/abs/2411.18104)☆13May 13, 2026Updated 5 months ago