lupantech / ineqmathLinks
Solving Inequality Proofs with Large Language Models.
☆52Updated 2 weeks ago
Alternatives and similar repositories for ineqmath
Users that are interested in ineqmath are comparing it to the libraries listed below
Sorting:
- ☆72Updated 4 months ago
- ☆42Updated last year
- ☆44Updated 3 months ago
- ☆26Updated last year
- Interpretable Contrastive Monte Carlo Tree Search Reasoning☆48Updated last year
- Code for "Variational Reasoning for Language Models"☆52Updated last month
- ☆125Updated 2 months ago
- [ICML 2025] Teaching Language Models to Critique via Reinforcement Learning☆116Updated 6 months ago
- This is the official repository for all the code of TheoremLlama☆46Updated 3 months ago
- Resources for the Enigmata Project.☆73Updated 3 months ago
- [NeurIPS 2024] OlympicArena: Benchmarking Multi-discipline Cognitive Reasoning for Superintelligent AI☆108Updated 8 months ago
- ☆64Updated 5 months ago
- [ICLR 2025] SuperCorrect: Advancing Small LLM Reasoning with Thought Template Distillation and Self-Correction☆83Updated 7 months ago
- Easy-to-Hard Generalization: Scalable Alignment Beyond Human Supervision☆125Updated last year
- [ICLR 2025] This is the official implementation for the paper: "Large Language Models Meet Symbolic Provers for Logical Reasoning Evaluat…☆38Updated 5 months ago
- Can Language Models Solve Olympiad Programming?☆120Updated 10 months ago
- Revisiting Mid-training in the Era of Reinforcement Learning Scaling☆180Updated 3 months ago
- ☆38Updated 3 months ago
- ☆102Updated 6 months ago
- B-STAR: Monitoring and Balancing Exploration and Exploitation in Self-Taught Reasoners☆86Updated 5 months ago
- A repo for open research on building large reasoning models☆112Updated this week
- The official repo for "AceCoder: Acing Coder RL via Automated Test-Case Synthesis" [ACL25]☆94Updated 7 months ago
- [NeurIPS 2025 Spotlight] ReasonFlux-Coder: Open-Source LLM Coders with Co-Evolving Reinforcement Learning☆131Updated 2 months ago
- The official repository of the Omni-MATH benchmark.☆88Updated 10 months ago
- [NeurIPS 2024] Can LLMs Learn by Teaching for Better Reasoning? A Preliminary Study☆55Updated 11 months ago
- General Reasoner: Advancing LLM Reasoning Across All Domains [NeurIPS25]☆199Updated 3 weeks ago
- e☆41Updated 6 months ago
- ☆303Updated 2 months ago
- SSRL: Self-Search Reinforcement Learning☆151Updated 2 months ago
- Large language models designed for formal theorem proving through tool-integrated reasoning.☆30Updated 3 months ago