OptiBench and ReSocratic Synthesis Method
☆35Oct 2, 2025Updated 11 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:
- Mamo: a Mathematical Modeling Benchmark with Solvers☆15Jun 12, 2024Updated 2 years ago
- LLM4OR homepage project.☆31Aug 29, 2025Updated last year
- The LLMOPT project offers a comprehensive set of resources, including the model, dataset, training framework, and inference code, enablin…☆154Nov 19, 2025Updated 9 months ago
- Official implementation of the paper "Chain-of-Experts: When LLMs Meet Complex Operation Research Problems"☆122Feb 6, 2026Updated 7 months ago
- The official repo for "CodeScaler: Scaling Code LLM Training and Test-Time Inference via Execution-Free Reward Models"☆50Mar 26, 2026Updated 5 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ORLM: Training Large Language Models for Optimization Modeling☆275Sep 18, 2025Updated 11 months ago
- Natural Language for Optimization Modelling☆77Jun 11, 2025Updated last year
- RLVR for LLMs in optimization modeling☆67Apr 15, 2026Updated 4 months ago
- Optimization Modeling Using mip Solvers and large language models☆290Nov 4, 2025Updated 10 months ago
- Explainable Constraint Solving - A Hands-On Tutorial☆29Aug 27, 2026Updated last week
- ☆13Jun 26, 2024Updated 2 years ago
- ☆29Mar 10, 2026Updated 5 months ago
- A curated list of Large Language Models (LLMs) for optimization problem modeling and solving☆18Jan 25, 2026Updated 7 months ago
- ☆13Aug 2, 2023Updated 3 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- [AAAI 2025] ORQA is a new QA benchmark designed to assess the reasoning capabilities of LLMs in a specialized technical domain of Operati…☆50Jun 7, 2025Updated last year
- An implementation of formulations described in Jabrayilov and Mutzel (2023)☆10Jun 7, 2023Updated 3 years ago
- Recent research papers about Foundation Models for Combinatorial Optimization☆586Updated this week
- [ICML 2023] Official code for "DevFormer: A Symmetric Transformer for Context-Aware Device Placement"☆23Dec 7, 2024Updated last year
- ☆24Feb 8, 2024Updated 2 years ago
- Fast and exact ILP-based solvers for the Minimum Flow Decomposition problem, and variants of it.☆14Dec 4, 2025Updated 9 months ago
- [NeurIPS 2023] "Combating Bilateral Edge Noise for Robust Link Prediction"☆11Nov 3, 2023Updated 2 years ago
- Learning to Branch in Mixed Integer Linear Programming with Graph Convolutional Neural Networks in Ecole☆20Dec 11, 2022Updated 3 years ago
- Data-driven Adaptive Benders Decomposition for the Stochastic Unit Commitment Problem: Python codes & Case study data☆35Sep 23, 2019Updated 6 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- This repository is the official implementation of Bidirectional Learning for Offline Infinite-width Model-based Optimization (NeurIPS 202…☆14Jan 19, 2023Updated 3 years ago
- An open source tool chain to simulate cyber attacks in the power system☆13May 4, 2017Updated 9 years ago
- ☆15Jul 4, 2022Updated 4 years ago
- ☆11Dec 22, 2024Updated last year
- PyTorch implementation for PaLM: A Hybrid Parser and Language Model.☆10Jan 7, 2020Updated 6 years ago
- ☆10Dec 17, 2023Updated 2 years ago
- CoCoFL: Communication- and Computation-Aware Federated Learning via Partial NN Freezing and Quantization☆12Aug 3, 2024Updated 2 years ago
- The implementation of paper "Certified Robustness of Graph Convolution Networks for Graph Classification under Topological Attacks"☆13Jun 17, 2021Updated 5 years ago
- [PAKDD 2024 Oral] Code for "RouteExplainer: An Explanation Framework for Vehicle Routing Problem"☆19Apr 5, 2024Updated 2 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- [ICML 2025🔥] ParallelComp: Parallel Long-Context Compressor for Length Extrapolation☆30Jun 16, 2025Updated last year
- A package for tree-based statistical estimation and inference using optimal decision trees.☆42Aug 1, 2026Updated last month
- [NeurIPS 2021] "Hyperparameter Tuning is All You Need for LISTA" by Xiaohan Chen, Jialin Liu, Zhangyang Wang and Wotao Yin☆23Dec 30, 2021Updated 4 years ago
- A comprehensive Python library implementing a variety of contextual and non-contextual multi-armed bandit algorithms—including LinUCB, Ep…☆13Dec 31, 2024Updated last year
- ☆10Dec 21, 2019Updated 6 years ago
- Better Transition-Based AMR Parsing with a Refined Search Space (authors' DyNet implementation for the EMNLP18 paper)☆10Jun 13, 2019Updated 7 years ago
- ☆17Jun 15, 2026Updated 2 months ago