Lagooon / LeanSTaRLinks
☆42Updated 9 months ago
Alternatives and similar repositories for LeanSTaR
Users that are interested in LeanSTaR are comparing it to the libraries listed below
Sorting:
- ☆56Updated 2 weeks ago
- Code for RATIONALYST: Pre-training Process-Supervision for Improving Reasoning https://arxiv.org/pdf/2410.01044☆33Updated 8 months ago
- ☆25Updated 10 months ago
- This repo is based on https://github.com/jiaweizzhao/GaLore☆28Updated 9 months ago
- This is the official repository for all the code of TheoremLlama☆42Updated 8 months ago
- ☆65Updated last year
- Aioli: A unified optimization framework for language model data mixing☆27Updated 5 months ago
- ☆27Updated this week
- The official repository for SkyLadder: Better and Faster Pretraining via Context Window Scheduling☆32Updated 3 months ago
- A repository for research on medium sized language models.☆76Updated last year
- ☆21Updated 2 weeks ago
- [ICML 2025] Teaching Language Models to Critique via Reinforcement Learning☆99Updated last month
- The official repo for "TheoremQA: A Theorem-driven Question Answering dataset" (EMNLP 2023)☆31Updated last year
- Code Implementation, Evaluations, Documentation, Links and Resources for Min P paper☆38Updated 3 months ago
- ☆40Updated 2 weeks ago
- Open-Source LLM Coders with Co-Evolving Reinforcement Learning☆83Updated 2 weeks ago
- [ICML2025] Official Repo for Paper "Optimizing Temperature for Language Models with Multi-Sample Inference"☆20Updated 4 months ago
- Training and Benchmarking LLMs for Code Preference.☆33Updated 7 months ago
- A framework for few-shot evaluation of autoregressive language models.☆24Updated last year
- [ICLR 2025] SuperCorrect: Advancing Small LLM Reasoning with Thought Template Distillation and Self-Correction☆72Updated 3 months ago
- ☆41Updated last year
- Solving Inequality Proofs with Large Language Models.☆31Updated last week
- A Large-Scale, High-Quality Math Dataset for Reinforcement Learning in Language Models☆57Updated 4 months ago
- Official repository of paper "RNNs Are Not Transformers (Yet): The Key Bottleneck on In-context Retrieval"☆27Updated last year
- [ICLR 2025] LongPO: Long Context Self-Evolution of Large Language Models through Short-to-Long Preference Optimization☆37Updated 3 months ago
- ☆79Updated 10 months ago
- Code & data for ICLR 2024 spotlight paper: 🍯MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data☆41Updated last year
- Codebase for Instruction Following without Instruction Tuning☆34Updated 9 months ago
- [NeurIPS 2024] Can LLMs Learn by Teaching for Better Reasoning? A Preliminary Study☆51Updated 7 months ago
- The official repository for the paper Multilingual Mathematical Autoformalization☆36Updated last year