Lagooon / LeanSTaRLinks
☆43Updated 8 months ago
Alternatives and similar repositories for LeanSTaR
Users that are interested in LeanSTaR are comparing it to the libraries listed below
Sorting:
- ☆51Updated this week
- This is the official repository for all the code of TheoremLlama☆42Updated 7 months ago
- ☆25Updated 9 months ago
- ☆17Updated last month
- Code Implementation, Evaluations, Documentation, Links and Resources for Min P paper☆35Updated 2 months ago
- ☆61Updated last year
- ☆79Updated 9 months ago
- [ICML2025] Official Repo for Paper "Optimizing Temperature for Language Models with Multi-Sample Inference"☆18Updated 3 months ago
- Harmonic Datasets☆40Updated 10 months ago
- Code for RATIONALYST: Pre-training Process-Supervision for Improving Reasoning https://arxiv.org/pdf/2410.01044☆33Updated 8 months ago
- Code for the arXiv preprint "The Unreasonable Effectiveness of Easy Training Data"☆47Updated last year
- ☆39Updated 11 months ago
- The official repo for "TheoremQA: A Theorem-driven Question Answering dataset" (EMNLP 2023)☆32Updated last year
- [ICML 2025] Teaching Language Models to Critique via Reinforcement Learning☆98Updated last month
- [NeurIPS 2024] OlympicArena: Benchmarking Multi-discipline Cognitive Reasoning for Superintelligent AI☆101Updated 3 months ago
- A repository for research on medium sized language models.☆76Updated last year
- The official repository for the paper Multilingual Mathematical Autoformalization☆36Updated last year
- Script for processing OpenAI's PRM800K process supervision dataset into an Alpaca-style instruction-response format☆27Updated last year
- The official implementation of "Self-play LLM Theorem Provers with Iterative Conjecturing and Proving"☆83Updated 2 months ago
- [ICLR 2025] SuperCorrect: Advancing Small LLM Reasoning with Thought Template Distillation and Self-Correction☆70Updated 2 months ago
- A Large-Scale, High-Quality Math Dataset for Reinforcement Learning in Language Models☆55Updated 3 months ago
- Scaling Computer-Use Grounding via UI Decomposition and Synthesis☆49Updated this week
- ☆65Updated 2 months ago
- ☆27Updated last week
- Agentic Reward Modeling: Integrating Human Preferences with Verifiable Correctness Signals for Reliable Reward Systems☆90Updated 2 months ago
- Code for Blog Post: Can Better Cold-Start Strategies Improve RL Training for LLMs?☆16Updated 2 months ago
- Neuro-Symbolic Integration Brings Causal and Reliable Reasoning Proofs☆36Updated last year
- Neural theorem proving tutorial, version II☆36Updated last year
- The official repository of the Omni-MATH benchmark.☆83Updated 5 months ago
- Advancing Language Model Reasoning through Reinforcement Learning and Inference Scaling☆102Updated 4 months ago