OptiBench and ReSocratic Synthesis Method
☆35Oct 2, 2025Updated last year
Alternatives and similar repositories for PRIVATE-RS
Users that are interested in PRIVATE-RS are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- The official implemention of "Depth-Breadth Synergy in RLVR: Unlocking LLM Reasoning Gains with Adaptive Exploration" (ICML 2026)☆26Feb 4, 2026Updated 8 months ago
- Mamo: a Mathematical Modeling Benchmark with Solvers☆16Jun 12, 2024Updated 2 years ago
- LLM4OR homepage project.☆33Aug 29, 2025Updated last year
- The LLMOPT project offers a comprehensive set of resources, including the model, dataset, training framework, and inference code, enablin…☆158Nov 19, 2025Updated 10 months ago
- Official implementation of the paper "Chain-of-Experts: When LLMs Meet Complex Operation Research Problems"☆122Feb 6, 2026Updated 8 months ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Natural Language for Optimization Modelling☆78Jun 11, 2025Updated last year
- RLVR for LLMs in optimization modeling☆68Apr 15, 2026Updated 5 months ago
- Optimization Modeling Using mip Solvers and large language models☆304Nov 4, 2025Updated 11 months ago
- ☆13Jun 26, 2024Updated 2 years ago
- ☆30Mar 10, 2026Updated 7 months ago
- ☆18Jul 12, 2025Updated last year
- OR-LLM-Agent: Automating Modeling and Solving of Operations Research Optimization Problems with Reasoning LLM☆103Sep 30, 2026Updated 2 weeks ago
- [ICLR 2023 spotlight] "On Representing Linear Programs by Graph Neural Networks" by Ziang Chen, Jialin Liu, Xinshang Wang, Jianfeng Lu, W…☆38Sep 30, 2025Updated last year
- ☆11Aug 25, 2023Updated 3 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- A curated list of Large Language Models (LLMs) for optimization problem modeling and solving☆19Jan 25, 2026Updated 8 months ago
- ☆13Aug 2, 2023Updated 3 years ago
- [AAAI 2025] ORQA is a new QA benchmark designed to assess the reasoning capabilities of LLMs in a specialized technical domain of Operati…☆51Jun 7, 2025Updated last year