lupantech / ineqmathLinks
Solving Inequality Proofs with Large Language Models.
☆42Updated this week
Alternatives and similar repositories for ineqmath
Users that are interested in ineqmath are comparing it to the libraries listed below
Sorting:
- ☆63Updated last month
- ☆41Updated 11 months ago
- ☆41Updated 3 weeks ago
- ☆25Updated last year
- Official implementation of "Beyond Theorem Proving: Formulation, Framework and Benchmark for Formal Problem-Solving"☆25Updated 3 months ago
- ☆90Updated 2 weeks ago
- Interpretable Contrastive Monte Carlo Tree Search Reasoning☆48Updated 9 months ago
- The official repository of the Omni-MATH benchmark.☆87Updated 8 months ago
- Code for "Reasoning to Learn from Latent Thoughts"☆116Updated 5 months ago
- ☆30Updated 2 weeks ago
- ☆91Updated 3 months ago
- Collections of RLxLM experiments using minimal codes☆13Updated 6 months ago
- [ICML 2025] Teaching Language Models to Critique via Reinforcement Learning☆108Updated 3 months ago
- A repo for open research on building large reasoning models☆92Updated this week
- B-STAR: Monitoring and Balancing Exploration and Exploitation in Self-Taught Reasoners☆82Updated 3 months ago
- [NeurIPS 2024] OlympicArena: Benchmarking Multi-discipline Cognitive Reasoning for Superintelligent AI☆102Updated 5 months ago
- ☆56Updated 2 months ago
- ☆39Updated 2 months ago
- Revisiting Mid-training in the Era of Reinforcement Learning Scaling☆167Updated last month
- This is the official repository for all the code of TheoremLlama☆44Updated 3 weeks ago
- Easy-to-Hard Generalization: Scalable Alignment Beyond Human Supervision☆123Updated 11 months ago
- [ICLR 2025] This is the official implementation for the paper: "Large Language Models Meet Symbolic Provers for Logical Reasoning Evaluat…☆32Updated 2 months ago
- ReasonFlux-Coder: Open-Source LLM Coders with Co-Evolving Reinforcement Learning☆108Updated last month
- [ACL 2024]Official GitHub repo for OlympiadBench: A Challenging Benchmark for Promoting AGI with Olympiad-Level Bilingual Multimodal Scie…☆166Updated 2 months ago
- Code & data for ICLR 2024 spotlight paper: 🍯MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data☆41Updated last year
- Conic10K: A large-scale dataset for closed-vocabulary math problem understanding. Accepted to EMNLP2023 Findings.☆27Updated last year
- Official github repo for the paper "Compression Represents Intelligence Linearly" [COLM 2024]☆141Updated 11 months ago
- Resources for the Enigmata Project.☆66Updated 2 weeks ago
- The official repo for "TheoremQA: A Theorem-driven Question Answering dataset" (EMNLP 2023)☆34Updated last year
- ☆13Updated last year