deepseek-ai / DeepSeek-Prover-V1.5
☆220Updated 2 months ago
Related projects ⓘ
Alternatives and complementary repositories for DeepSeek-Prover-V1.5
- ☆239Updated 3 weeks ago
- ReST-MCTS*: LLM Self-Training via Process Reward Guided Tree Search (NeurIPS 2024)☆295Updated 3 weeks ago
- ☆304Updated 3 months ago
- (ICML 2024) Alphazero-like Tree-Search can guide large language model decoding and training☆215Updated 5 months ago
- [ACL 2024]Official GitHub repo for OlympiadBench: A Challenging Benchmark for Promoting AGI with Olympiad-Level Bilingual Multimodal Scie…☆92Updated 3 months ago
- Curation of resources for LLM mathematical reasoning, most of which are screened by @tongyx361 to ensure high quality and accompanied wit…☆81Updated 3 months ago
- ☆33Updated last week
- Retrieval-Augmented Theorem Provers for Lean☆225Updated 2 months ago
- Official github repo for the paper "Compression Represents Intelligence Linearly" [COLM 2024]☆127Updated last month
- Code for the paper LEGO-Prover: Neural Theorem Proving with Growing Libraries☆53Updated 8 months ago
- ☆112Updated 3 months ago
- [COLM 2024] A Survey on Deep Learning for Theorem Proving☆131Updated 2 months ago
- ☆212Updated 3 months ago
- This is the repository that contains the source code for the Self-Evaluation Guided MCTS for online DPO.☆187Updated 3 months ago
- Codes and Data for Scaling Relationship on Learning Mathematical Reasoning with Large Language Models☆216Updated last month
- Reformatted Alignment☆112Updated last month
- The official repository of the Omni-MATH benchmark.☆45Updated last week
- The official repository for the paper Multilingual Mathematical Autoformalization☆32Updated 5 months ago
- ☆116Updated 6 months ago
- ☆283Updated last month
- [ACL 2024 Findings] MathBench: A Comprehensive Multi-Level Difficulty Mathematics Evaluation Dataset☆84Updated 3 months ago
- Code and example data for the paper: Rule Based Rewards for Language Model Safety☆153Updated 3 months ago
- Skywork-MoE: A Deep Dive into Training Techniques for Mixture-of-Experts Language Models☆127Updated 4 months ago
- Large Reasoning Models☆457Updated this week
- A simple toolkit for benchmarking LLMs on mathematical reasoning tasks. 🧮✨☆94Updated 6 months ago
- [NeurIPS'24 Spotlight] Observational Scaling Laws☆42Updated last month
- Building Open LLM Web Agents with Self-Evolving Online Curriculum RL☆147Updated this week
- Code & data for ICLR 2024 spotlight paper: 🍯MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data☆36Updated 5 months ago
- Implementation of the Quiet-STAR paper (https://arxiv.org/pdf/2403.09629.pdf)☆39Updated 3 months ago
- ☆67Updated 4 months ago