OptiBench and ReSocratic Synthesis Method
☆30Oct 2, 2025Updated 5 months ago
Alternatives and similar repositories for ReSocratic
Users that are interested in ReSocratic are comparing it to the libraries listed below
Sorting:
- The LLMOPT project offers a comprehensive set of resources, including the model, dataset, training framework, and inference code, enablin…☆124Nov 19, 2025Updated 3 months ago
- Official implementation of the paper "Chain-of-Experts: When LLMs Meet Complex Operation Research Problems"☆114Feb 6, 2026Updated last month
- Optimization Modeling Using mip Solvers and large language models☆248Nov 4, 2025Updated 4 months ago
- LLM4OR homepage project.☆24Aug 29, 2025Updated 6 months ago
- ☆13Jun 26, 2024Updated last year
- RLVR for LLMs in optimization modeling☆45Dec 17, 2025Updated 2 months ago
- OptiChat: Explaining Optimization Models Using LLMs☆63Updated this week
- Implementation of Deep Statistical Solver for Distribution System State Estimation☆28Mar 27, 2025Updated 11 months ago
- OR-LLM-Agent: Automating Modeling and Solving of Operations Research Optimization Problems with Reasoning LLM☆75Aug 28, 2025Updated 6 months ago
- ☆23Feb 8, 2024Updated 2 years ago
- ☆19Sep 22, 2025Updated 5 months ago
- Natural Language for Optimization Modelling☆68Jun 11, 2025Updated 8 months ago
- PowerBiMIP is an open-source, efficient bilevel mixed-integer programming (BiMIP) solver, with a special focus on applications in power a…☆34Feb 26, 2026Updated last week
- ORLM: Training Large Language Models for Optimization Modeling☆236Sep 18, 2025Updated 5 months ago
- Advanced Machine Learning Course☆13Nov 16, 2024Updated last year
- Code for paper: Aligning Large Language Models with Representation Editing: A Control Perspective☆35Jan 31, 2025Updated last year
- QuESt Planning is a long-term power system capacity expansion planning model that identifies cost-optimal energy storage, generation, and…☆14Feb 4, 2026Updated last month
- ☆11Dec 17, 2023Updated 2 years ago
- Learning-to-Optimize for Mixed-Integer Non-Linear Programming☆61Feb 18, 2026Updated 2 weeks ago
- The repo is the official implementation for the paper: MoGERNN: An Inductive Traffic Predictor for Unobserved Locations.☆18May 29, 2025Updated 9 months ago
- Source code for the paper titled: "Unlocking the full potential of smart charging: Addressing paused and delayed charging problems in ele…☆11May 22, 2024Updated last year
- ☆12Mar 15, 2023Updated 2 years ago
- Visualize linear programming at https://lpviz.net☆33Jan 20, 2026Updated last month
- Example Systems using PowerDynamics.jl☆12Oct 10, 2022Updated 3 years ago
- ☆30Dec 23, 2025Updated 2 months ago
- Recent research papers about Foundation Models for Combinatorial Optimization☆477Updated this week
- ☆10Aug 13, 2022Updated 3 years ago
- Code companion of Multi-task Learning for Aggregated Data using Gaussian Processes paper☆10Apr 6, 2020Updated 5 years ago
- ☆14Jan 8, 2026Updated last month
- Code & data for ICLR 2024 spotlight paper: 🍯MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data☆42May 29, 2024Updated last year
- ☆13Oct 3, 2024Updated last year
- （Accepted By EMNLP2022 main long）Knowledge Prompting in Pre-trained Language Model for Natural Language Understanding☆15Oct 29, 2022Updated 3 years ago
- An open source tool chain to simulate cyber attacks in the power system☆12May 4, 2017Updated 8 years ago
- This package generates power grid scenarios using GEMINI trained on historical grid asset actual and forecasted values.☆11Dec 8, 2025Updated 2 months ago
- Span and Rule Models for Neural Constituent Parsing☆10Jun 11, 2018Updated 7 years ago
- ☆21Sep 7, 2025Updated 5 months ago
- DialCoT Meets PPO: Decomposing and Exploring Reasoning Paths in Smaller Language Models☆13Nov 2, 2023Updated 2 years ago
- Personalized Image Generation with Large Multimodal Models☆14May 13, 2025Updated 9 months ago
- ☆13Nov 5, 2025Updated 4 months ago