opendatalab / ProverGenLinks
[ICLR 2025] This is the official implementation for the paper: "Large Language Models Meet Symbolic Provers for Logical Reasoning Evaluation"
☆34Updated 3 months ago
Alternatives and similar repositories for ProverGen
Users that are interested in ProverGen are comparing it to the libraries listed below
Sorting:
- [ICLR 2025] SuperCorrect: Advancing Small LLM Reasoning with Thought Template Distillation and Self-Correction☆82Updated 6 months ago
- [NeurIPS 2024] The official implementation of paper: Chain of Preference Optimization: Improving Chain-of-Thought Reasoning in LLMs.☆128Updated 6 months ago
- [ICML 2025] Teaching Language Models to Critique via Reinforcement Learning☆114Updated 5 months ago
- ☆67Updated 3 months ago
- Interpretable Contrastive Monte Carlo Tree Search Reasoning☆48Updated 11 months ago
- ☆50Updated 11 months ago
- This is the official implementation of the paper "S²R: Teaching LLMs to Self-verify and Self-correct via Reinforcement Learning"☆69Updated 5 months ago
- Official codebase for "GenPRM: Scaling Test-Time Compute of Process Reward Models via Generative Reasoning".☆81Updated 4 months ago
- RL Scaling and Test-Time Scaling (ICML'25)☆111Updated 8 months ago
- xVerify: Efficient Answer Verifier for Reasoning Model Evaluations☆131Updated 5 months ago
- ☆68Updated 2 months ago
- Solving Inequality Proofs with Large Language Models.☆44Updated 2 weeks ago
- [NeurIPS 2025] Implementation for the paper "The Surprising Effectiveness of Negative Reinforcement in LLM Reasoning"☆110Updated last month
- ☆62Updated 4 months ago
- The official repository of the Omni-MATH benchmark.☆88Updated 9 months ago
- ☆13Updated last year
- ☆127Updated last month
- A unified suite for generating elite reasoning problems and training high-performance LLMs, including pioneering attention-free architect…☆106Updated 2 weeks ago
- Repo of paper "Free Process Rewards without Process Labels"☆164Updated 6 months ago
- ☆45Updated last week
- e☆41Updated 5 months ago
- General Reasoner: Advancing LLM Reasoning Across All Domains [NeurIPS25]☆174Updated 4 months ago
- Implementation for the research paper "Enhancing LLM Reasoning via Critique Models with Test-Time and Training-Time Supervision".☆56Updated 10 months ago
- RM-R1: Unleashing the Reasoning Potential of Reward Models☆137Updated 3 months ago
- B-STAR: Monitoring and Balancing Exploration and Exploitation in Self-Taught Reasoners☆85Updated 4 months ago
- ☆207Updated 6 months ago
- Search, Verify and Feedback: Towards Next Generation Post-training Paradigm of Foundation Models via Verifier Engineering☆61Updated 10 months ago
- ☆49Updated 7 months ago
- [NeurIPS 2025 Spotlight] ReasonFlux-Coder: Open-Source LLM Coders with Co-Evolving Reinforcement Learning☆122Updated 3 weeks ago
- Process Reward Models That Think☆55Updated 3 months ago