RLVR for LLMs in optimization modeling
☆45Dec 17, 2025Updated 2 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☆236Sep 18, 2025Updated 5 months ago
- 历年ICML论文和开源项目合集，包含ICML2021、ICML2022、ICML2023、ICML2024、ICML2025.☆42Mar 5, 2025Updated 11 months ago
- OptiBench and ReSocratic Synthesis Method☆30Oct 2, 2025Updated 5 months ago
- ☆40Dec 1, 2025Updated 3 months ago
- This is the code for G2MILP, a deep learning-based mixed-integer linear programming (MILP) instance generator.☆35Oct 3, 2024Updated last year
- The LLMOPT project offers a comprehensive set of resources, including the model, dataset, training framework, and inference code, enablin…☆123Nov 19, 2025Updated 3 months ago
- A template for deploying a Mock Spacestation and Mock Groundstation to Azure☆14Jan 5, 2022Updated 4 years ago
- Sources of the EuroProofNet web site.☆13Updated this week
- Supporting material for Princeton ORF307☆12Jan 14, 2026Updated last month
- Interesting ATP Proofs☆13Sep 3, 2021Updated 4 years ago
- Provides a cFS distribution that can be run on a Raspberry Pi. It also contains Raspbian configuration instructions and python tools that…☆14Sep 22, 2022Updated 3 years ago
- implementation of aided LLM codeplan algorithm in java☆10Jan 13, 2024Updated 2 years ago
- A2AMCP is a Agent2Agent MCP communication Server taking the concept from Google's Agent2Agent Protocol (A2A)☆19Jun 9, 2025Updated 8 months ago
- Reinforcement Learning, Tutorials in Chinese☆11Jun 9, 2018Updated 7 years ago
- Yet another haskell term rewriting library☆18Aug 27, 2025Updated 6 months ago
- Security tools and resources☆11Dec 29, 2018Updated 7 years ago
- Accelerating RL for LLM Reasoning with Optimal Advantage Regression☆35May 30, 2025Updated 9 months ago
- Implementation of Polymorphic Gradual Typing☆12Sep 16, 2018Updated 7 years ago
- Connection provers in Rust☆14Mar 13, 2024Updated last year
- AI for Mathematics Paper List☆17Jan 14, 2025Updated last year
- Adds server Waf support to your application for CTFer.☆11Sep 30, 2018Updated 7 years ago
- DEPRECATED: System modelling and fault-injection-based resilience assessment in Python☆10Mar 17, 2022Updated 3 years ago
- ZeroVO: Visual Odometry with Minimal Assumptions☆17Jul 8, 2025Updated 7 months ago
- A re-implementation of the CVPR19 paper Quantization Networks on CIFAR-10, MNIST and ImageNet☆10Aug 9, 2020Updated 5 years ago
- [ACL 2021] IrEne: Interpretable Energy Prediction for Transformers☆11Sep 8, 2021Updated 4 years ago
- ☆12Updated this week
- Multi-task end-to-end predict-then-optimize☆14Apr 28, 2023Updated 2 years ago
- 基于 Electron + React 的跨平台英雄联盟助手☆32Jan 17, 2026Updated last month
- ☆14May 21, 2021Updated 4 years ago
- ☆12Dec 25, 2023Updated 2 years ago
- 西安交通大学的IP地址整理☆10Apr 25, 2018Updated 7 years ago
- LLM4OR homepage project.☆24Aug 29, 2025Updated 6 months ago
- A PyTorch Reimplementation of https://github.com/kentonl/e2e-coref.☆12May 4, 2019Updated 6 years ago
- [ICLR 2023] "On Representing Mixed-Integer Linear Programs by Graph Neural Networks" by Ziang Chen, Jialin Liu, Xinshang Wang, Jianfeng L…☆57Aug 11, 2023Updated 2 years ago
- The Core Flight System (cFS) is a generic flight software architecture framework used on flagship spacecraft, human spacecraft, cubesats,…☆15Apr 23, 2021Updated 4 years ago
- ☆15May 3, 2024Updated last year
- 沫沫音乐播放器，仿千千静听得一款音乐播放器--致我最爱得人☆13Sep 11, 2018Updated 7 years ago
- A. Cropper and S.H. Muggleton. Learning efficient logic programs. Machine learning, 2019.☆14Apr 14, 2018Updated 7 years ago
- example of a multi-agent-a2a☆24May 6, 2025Updated 9 months ago