OptiBench and ReSocratic Synthesis Method
☆35Oct 2, 2025Updated 8 months ago
Alternatives and similar repositories for ReSocratic
Users that are interested in ReSocratic 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 LLMOPT project offers a comprehensive set of resources, including the model, dataset, training framework, and inference code, enablin…☆145Nov 19, 2025Updated 7 months ago
- Official implementation of the paper "Chain-of-Experts: When LLMs Meet Complex Operation Research Problems"☆120Feb 6, 2026Updated 4 months ago
- RLVR for LLMs in optimization modeling☆59Apr 15, 2026Updated 2 months ago
- Optimization Modeling Using mip Solvers and large language models☆272Nov 4, 2025Updated 7 months ago
- ☆13Jun 26, 2024Updated last year
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- LLM4OR homepage project.☆27Aug 29, 2025Updated 9 months ago
- [ICLR 2023 spotlight] "On Representing Linear Programs by Graph Neural Networks" by Ziang Chen, Jialin Liu, Xinshang Wang, Jianfeng Lu, W…☆37Sep 30, 2025Updated 8 months ago
- OptiChat: Explaining Optimization Models Using LLMs☆68Jun 3, 2026Updated 2 weeks ago
- The official PyTorch implementation of "Causal Learning Empowered OD Prediction for Urban Planning" (CIKM 2022).☆11Mar 10, 2023Updated 3 years ago
- ☆11Aug 25, 2023Updated 2 years ago
- ☆17May 14, 2026Updated last month
- Natural Language for Optimization Modelling☆72Jun 11, 2025Updated last year
- ☆15Jul 18, 2019Updated 6 years ago
- ☆13Aug 2, 2023Updated 2 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- OR-LLM-Agent: Automating Modeling and Solving of Operations Research Optimization Problems with Reasoning LLM☆93May 25, 2026Updated 3 weeks ago
- ORLM: Training Large Language Models for Optimization Modeling☆259Sep 18, 2025Updated 9 months ago
- ☆24Feb 8, 2024Updated 2 years ago
- [NeurIPS 2023] "Combating Bilateral Edge Noise for Robust Link Prediction"☆11Nov 3, 2023Updated 2 years ago
- Implementation of Deep Statistical Solver for Distribution System State Estimation☆34Mar 27, 2025Updated last year
- An open source tool chain to simulate cyber attacks in the power system☆13May 4, 2017Updated 9 years ago
- ☆11Dec 22, 2024Updated last year
- Data-driven Adaptive Benders Decomposition for the Stochastic Unit Commitment Problem: Python codes & Case study data☆35Sep 23, 2019Updated 6 years ago
- ☆10Dec 17, 2023Updated 2 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.
- Learning to Branch in Mixed Integer Linear Programming with Graph Convolutional Neural Networks in Ecole☆20Dec 11, 2022Updated 3 years ago
- PyTorch implementation for PaLM: A Hybrid Parser and Language Model.☆10Jan 7, 2020Updated 6 years ago
- ☆14Jan 3, 2025Updated last year
- A comprehensive Python library implementing a variety of contextual and non-contextual multi-armed bandit algorithms—including LinUCB, Ep…☆13Dec 31, 2024Updated last year
- Recent research papers about Foundation Models for Combinatorial Optimization☆547Jun 11, 2026Updated last week
- [NeurIPS 2024] Self-Optimization Improves the Efficiency of Code Generation☆14May 10, 2025Updated last year
- Better Transition-Based AMR Parsing with a Refined Search Space (authors' DyNet implementation for the EMNLP18 paper)☆10Jun 13, 2019Updated 7 years ago
- Span and Rule Models for Neural Constituent Parsing☆10Jun 11, 2018Updated 8 years ago
- The official implemention of "Depth-Breadth Synergy in RLVR: Unlocking LLM Reasoning Gains with Adaptive Exploration" (ICML 2026)☆24Feb 4, 2026Updated 4 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Personalized Image Generation with Large Multimodal Models☆17May 13, 2025Updated last year
- ☆22Sep 7, 2025Updated 9 months ago
- Dependency Grammar Induction☆18Feb 11, 2019Updated 7 years ago
- Heart Murmur Detection from Phonocardiogram Recordings: The George B. Moody PhysioNet Challenge 2022☆15Jan 6, 2026Updated 5 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…☆48Jun 7, 2025Updated last year
- ellipsoid method python code☆12Feb 12, 2024Updated 2 years ago
- [ICLR 2023] "On Representing Mixed-Integer Linear Programs by Graph Neural Networks" by Ziang Chen, Jialin Liu, Xinshang Wang, Jianfeng L…☆60Aug 11, 2023Updated 2 years ago