RLVR for LLMs in optimization modeling
☆49Dec 17, 2025Updated 3 months ago
Alternatives and similar repositories for SIRL
Users that are interested in SIRL are comparing it to the libraries listed below
Sorting:
- ORLM: Training Large Language Models for Optimization Modeling☆238Sep 18, 2025Updated 6 months ago
- 历年ICML论文和开源项目合集，包含ICML2021、ICML2022、ICML2023、ICML2024、ICML2025.☆42Mar 5, 2025Updated last year
- OptiBench and ReSocratic Synthesis Method☆30Oct 2, 2025Updated 5 months ago
- ☆27Mar 10, 2026Updated last week
- The official PyTorch implementation of "Causal Learning Empowered OD Prediction for Urban Planning" (CIKM 2022).☆11Mar 10, 2023Updated 3 years ago
- This is the code for G2MILP, a deep learning-based mixed-integer linear programming (MILP) instance generator.☆36Oct 3, 2024Updated last year
- ☆41Dec 1, 2025Updated 3 months ago
- [ICML 25] "Preference Optimization for Combinatorial Optimization Problems"☆26Jun 6, 2025Updated 9 months ago
- The LLMOPT project offers a comprehensive set of resources, including the model, dataset, training framework, and inference code, enablin…☆131Nov 19, 2025Updated 4 months ago
- Reinforcement Learning, Tutorials in Chinese☆11Jun 9, 2018Updated 7 years ago
- This repository is the official implementation of Bidirectional Learning for Offline Infinite-width Model-based Optimization (NeurIPS 202…☆14Jan 19, 2023Updated 3 years ago
- Implementation of ICML 22 Paper: Scaling Structured Inference with Randomization☆13Jul 24, 2022Updated 3 years ago
- ☆11Jan 31, 2022Updated 4 years ago
- [ICLR 2023] "On Representing Mixed-Integer Linear Programs by Graph Neural Networks" by Ziang Chen, Jialin Liu, Xinshang Wang, Jianfeng L…☆58Aug 11, 2023Updated 2 years ago
- OR-LLM-Agent: Automating Modeling and Solving of Operations Research Optimization Problems with Reasoning LLM☆79Aug 28, 2025Updated 6 months ago
- Recent research papers about Foundation Models for Combinatorial Optimization☆490Mar 15, 2026Updated last week
- A PyTorch-Based GPU Parallel Env for IPPS Problem, supporting DRL, IL and Learning Guided MCTS.☆16Oct 4, 2025Updated 5 months ago
- ☆17Jul 17, 2020Updated 5 years ago
- ☆35Jul 2, 2025Updated 8 months ago
- Source code for "Sub-sampled Cubic Regularization for Non-convex Optimization", JM Kohler, A Lucchi, https://arxiv.org/abs/1705.05933☆16Dec 12, 2018Updated 7 years ago
- Adds server Waf support to your application for CTFer.☆11Sep 30, 2018Updated 7 years ago
- Interesting ATP Proofs☆13Sep 3, 2021Updated 4 years ago
- Implementation of Polymorphic Gradual Typing☆12Sep 16, 2018Updated 7 years ago
- Sources of the EuroProofNet web site.☆13Updated this week
- AI for Mathematics Paper List☆17Jan 14, 2025Updated last year
- Yet another haskell term rewriting library☆18Aug 27, 2025Updated 6 months ago
- Reinforcement Learning for Supply Chain Optimization☆14Feb 3, 2020Updated 6 years ago
- 收益管理☆12Dec 7, 2018Updated 7 years ago
- FSNet: Feasibility-Seeking Neural Network for Constrained Optimization with Guarantees☆43Sep 18, 2025Updated 6 months ago
- Connection provers in Rust☆14Mar 13, 2024Updated 2 years ago
- Dataset for Conversation Semantic Role Labeling☆11Aug 26, 2021Updated 4 years ago
- WindFM: An Open-Source Foundation Model for Zero-Shot Wind Power Forecasting☆57Sep 17, 2025Updated 6 months ago
- Security tools and resources☆11Dec 29, 2018Updated 7 years ago
- This package is dedicated to high-order optimization methods. All the methods can be used similarly to standard PyTorch optimizers.☆29Jun 17, 2025Updated 9 months ago
- [AAAI 2025] ORQA is a new QA benchmark designed to assess the reasoning capabilities of LLMs in a specialized technical domain of Operati…☆45Jun 7, 2025Updated 9 months ago
- Nginx Proxy with Basic auth and SSL for Docker Rest API☆16Dec 15, 2014Updated 11 years ago
- Code for Deep Neural Network Approximated Dynamic Programming☆17Jul 14, 2020Updated 5 years ago
- LLM4OR homepage project.☆25Aug 29, 2025Updated 6 months ago
- A re-implementation of the CVPR19 paper Quantization Networks on CIFAR-10, MNIST and ImageNet☆10Aug 9, 2020Updated 5 years ago