opendatalab / ProverGenLinks
[ICLR 2025] This is the official implementation for the paper: "Large Language Models Meet Symbolic Provers for Logical Reasoning Evaluation"
☆33Updated 3 months ago
Alternatives and similar repositories for ProverGen
Users that are interested in ProverGen are comparing it to the libraries listed below
Sorting:
- Interpretable Contrastive Monte Carlo Tree Search Reasoning☆48Updated 10 months ago
- [ICLR 2025] SuperCorrect: Advancing Small LLM Reasoning with Thought Template Distillation and Self-Correction☆79Updated 5 months ago
- This is the official implementation of the paper "S²R: Teaching LLMs to Self-verify and Self-correct via Reinforcement Learning"☆69Updated 4 months ago
- [NeurIPS 2024] The official implementation of paper: Chain of Preference Optimization: Improving Chain-of-Thought Reasoning in LLMs.☆127Updated 5 months ago
- [ICML 2025] Teaching Language Models to Critique via Reinforcement Learning☆111Updated 4 months ago
- ☆64Updated 2 months ago
- ☆45Updated this week
- RL Scaling and Test-Time Scaling (ICML'25)☆111Updated 7 months ago
- The official repository of the Omni-MATH benchmark.☆87Updated 8 months ago
- ☆67Updated 3 months ago
- ☆49Updated 10 months ago
- The official repository of paper "AdaR1: From Long-Cot to Hybrid-CoT via Bi-Level Adaptive Reasoning Optimization"☆18Updated 4 months ago
- R1-Searcher++: Incentivizing the Dynamic Knowledge Acquisition of LLMs via Reinforcement Learning☆61Updated 3 months ago
- ☆59Updated 3 months ago
- xVerify: Efficient Answer Verifier for Reasoning Model Evaluations☆128Updated 5 months ago
- ☆13Updated last year
- Search, Verify and Feedback: Towards Next Generation Post-training Paradigm of Foundation Models via Verifier Engineering☆61Updated 9 months ago
- ☆42Updated 11 months ago
- B-STAR: Monitoring and Balancing Exploration and Exploitation in Self-Taught Reasoners☆84Updated 3 months ago
- Large Language Models Can Self-Improve in Long-context Reasoning☆73Updated 9 months ago
- A Sober Look at Language Model Reasoning☆83Updated this week
- Source code for our paper: "ARIA: Training Language Agents with Intention-Driven Reward Aggregation".☆20Updated last month
- FeatureAlignment = Alignment + Mechanistic Interpretability☆29Updated 6 months ago
- Research Code for preprint "Optimizing Test-Time Compute via Meta Reinforcement Finetuning".☆105Updated last month
- Process Reward Models That Think☆51Updated 2 months ago
- ☆331Updated last month
- General Reasoner: Advancing LLM Reasoning Across All Domains☆171Updated 3 months ago
- Solving Inequality Proofs with Large Language Models.☆44Updated 3 weeks ago
- The official repo for "TheoremQA: A Theorem-driven Question Answering dataset" (EMNLP 2023)☆34Updated last year
- A repo for open research on building large reasoning models☆102Updated this week