yangzhch6 / ReSocraticView external linksLinks
OptiBench and ReSocratic Synthesis Method
☆30Oct 2, 2025Updated 4 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…☆121Nov 19, 2025Updated 2 months ago
- ☆15Jan 21, 2026Updated 3 weeks ago
- Optimization Modeling Using mip Solvers and large language models☆239Nov 4, 2025Updated 3 months ago
- LLM4OR homepage project.☆24Aug 29, 2025Updated 5 months ago
- ☆13Jun 26, 2024Updated last year
- [ICLR 2023 spotlight] "On Representing Linear Programs by Graph Neural Networks" by Ziang Chen, Jialin Liu, Xinshang Wang, Jianfeng Lu, W…☆37Sep 30, 2025Updated 4 months ago
- RLVR for LLMs in optimization modeling☆42Dec 17, 2025Updated last month
- Implementation of Deep Statistical Solver for Distribution System State Estimation☆28Mar 27, 2025Updated 10 months ago
- ☆23Feb 8, 2024Updated 2 years ago
- Natural Language for Optimization Modelling☆66Jun 11, 2025Updated 8 months ago
- ☆19Sep 22, 2025Updated 4 months ago
- ORLM: Training Large Language Models for Optimization Modeling☆233Sep 18, 2025Updated 4 months ago
- Advanced Machine Learning Course☆12Nov 16, 2024Updated last year
- ☆35Jan 10, 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 week
- Data-driven Adaptive Benders Decomposition for the Stochastic Unit Commitment Problem: Python codes & Case study data☆33Sep 23, 2019Updated 6 years ago
- ☆11Dec 17, 2023Updated 2 years 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
- The repo is the official implementation for the paper: MoGERNN: An Inductive Traffic Predictor for Unobserved Locations.☆18May 29, 2025Updated 8 months ago
- ☆30Dec 23, 2025Updated last month
- ☆11Dec 22, 2024Updated last year
- ☆12Mar 15, 2023Updated 2 years ago
- Recent research papers about Foundation Models for Combinatorial Optimization☆465Updated this week
- Personalized Image Generation with Large Multimodal Models☆14May 13, 2025Updated 9 months ago
- （Accepted By EMNLP2022 main long）Knowledge Prompting in Pre-trained Language Model for Natural Language Understanding☆14Oct 29, 2022Updated 3 years ago
- An open source tool chain to simulate cyber attacks in the power system☆12May 4, 2017Updated 8 years ago
- LAMPOS, a strategy-based solution approach for mp-MILPs for real-time mixed-integer MPC with sub-optimality quantification☆11Jun 25, 2023Updated 2 years ago
- Modelling and optimization for microgrids, energy hubs, distribution systems and transmission systems☆11Dec 14, 2022Updated 3 years ago
- ☆10Mar 25, 2024Updated last year
- ☆12Nov 5, 2025Updated 3 months ago
- Hybrid European MV-LV Models for Smart Distribution Network Modelling☆10Dec 11, 2021Updated 4 years ago
- Code & data for ICLR 2024 spotlight paper: 🍯MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data☆42May 29, 2024Updated last year
- The official repository for the CodeGym project: "Generalizable End-to-End Tool-Use RL with Synthetic CodeGym"☆21Oct 14, 2025Updated 3 months ago
- ☆13Oct 3, 2024Updated last year
- ☆21Sep 7, 2025Updated 5 months ago
- Span and Rule Models for Neural Constituent Parsing☆10Jun 11, 2018Updated 7 years ago
- Graph Source Localization Library☆16Dec 7, 2024Updated last year
- Better Transition-Based AMR Parsing with a Refined Search Space (authors' DyNet implementation for the EMNLP18 paper)☆10Jun 13, 2019Updated 6 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