OptiBench and ReSocratic Synthesis Method
☆36Oct 2, 2025Updated 10 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:
- LLM4OR homepage project.☆30Aug 29, 2025Updated 11 months ago
- Official implementation of the paper "Chain-of-Experts: When LLMs Meet Complex Operation Research Problems"☆121Feb 6, 2026Updated 6 months ago
- The official repo for "CodeScaler: Scaling Code LLM Training and Test-Time Inference via Execution-Free Reward Models"☆35Mar 26, 2026Updated 4 months ago
- Natural Language for Optimization Modelling☆77Jun 11, 2025Updated last year
- RLVR for LLMs in optimization modeling☆68Apr 15, 2026Updated 4 months 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.
- Optimization Modeling Using mip Solvers and large language models☆288Nov 4, 2025Updated 9 months ago
- Explainable Constraint Solving - A Hands-On Tutorial☆28Jul 22, 2026Updated 3 weeks ago
- OR-LLM-Agent: Automating Modeling and Solving of Operations Research Optimization Problems with Reasoning LLM☆98Jun 23, 2026Updated last month
- A curated list of Large Language Models (LLMs) for optimization problem modeling and solving☆18Jan 25, 2026Updated 6 months ago
- ☆13Aug 2, 2023Updated 3 years ago
- The official PyTorch implementation of "Causal Learning Empowered OD Prediction for Urban Planning" (CIKM 2022).☆11Mar 10, 2023Updated 3 years ago
- [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☆582Aug 5, 2026Updated last week
- 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.
- [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 8 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
- 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
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- The official paper for EnvFactory: Scaling Tool-Use Agents via Executable Environments Synthesis and Robust RL.☆93Jun 5, 2026Updated 2 months ago
- 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
- Code & data for ICLR 2024 spotlight paper: 🍯MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data☆43May 29, 2024Updated 2 years ago
- Code repo for FaStfact: Faster, Stronger Long-Form Factuality Evaluations in LLMs.☆33Nov 5, 2025Updated 9 months ago
- [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 2 weeks ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- [NeurIPS 2021] "Hyperparameter Tuning is All You Need for LISTA" by Xiaohan Chen, Jialin Liu, Zhangyang Wang and Wotao Yin☆24Dec 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
- ☆15Aug 9, 2021Updated 5 years ago
- Accelerated Alternating Projections for Robust Principal Component Analysis☆25Nov 26, 2022Updated 3 years ago
- Code implementation of "Information Design in Multi-Agent Reinforcement Learning"☆16Aug 18, 2023Updated 3 years ago
- Span and Rule Models for Neural Constituent Parsing☆10Jun 11, 2018Updated 8 years ago