Diagnosing Infeasible Optimization Problems Using Large Language Models

A Functional Description of ANALYZE: A Computer-Assisted Analysis System for Linear Programming Models

Greenberg, H. 1983 · 1983

Earlier work this paper cites.

Analyze: A computer-assisted analysis system for linear programming models

Greenberg, H. J. 1987 · 1987

Earlier work this paper cites.

AMPL: A Mathematical Programing Language , 150–151

Fourer, R.; Gay, D. M.; and Kernighan, B. W. 1989 · 1989

Earlier work this paper cites.

Identifying minimally infeasible subsystems of inequalities

Gleeson, J.; and Ryan, J. 1990 · 1990

Earlier work this paper cites.

Locating Minimal Infeasible Constraint Sets in Linear Programs

Chinneck, J. W.; and Dravnieks, E. W. 1991 · 1991

Earlier work this paper cites.

Detecting iis in infeasible linear programmes using techniques from goal programming

Tamiz, M.; Mardle, S.; and Jones, D. 1996 · 1996

Earlier work this paper cites.

Analyzing Infeasible Mixed-Integer and Integer Linear Programs

Guieu, O.; and Chinneck, J. W. 1999 · 1999

Earlier work this paper cites.

The Modeling Language AIMMS , 71–104

Bisschop, J.; and Roelofs, M. 2004 · 2004

Earlier work this paper cites.

General Algebraic Modeling System (GAMS) , 137–157

Bussieck, M. R.; and Meeraus, A. 2004 · 2004

Earlier work this paper cites.

Feasibility and Infeasibility in Optimization , volume 118

Chinneck, J. W. 2008 · 2008

Cited alongside, same era.

Pyomo: modeling and solving mathematical programs in Python

Hart, W. E.; Watson, J.-P.; and Woodruff, D. L. 2011 · 2011

Cited alongside, same era.

Optimization in Operations Research

Rardin, R. L. 2016 · 2016

Cited alongside, same era.

Glass-box: Explaining AI decisions with counterfactual statements through conversation with a voice-enabled virtual assistant

Sokol, K.; and Flach, P. 2018 · 2018

Cited alongside, same era.

The What-If Tool: Interactive Probing of Machine Learning Models

Wexler, J.; Pushkarna, M.; Bolukbasi, T.; Wattenberg, M.; Viegas, F.; and Wilson, J. 2020 · 2020

Cited alongside, same era.

Calibrate before use: Improving few-shot performance of language models

Original

IBM ILOG CPLEX 22.1.0 User’s Manual

IBM. 2022 · 2022

Later among the works it cites.

Chain-of-thought prompting elicits reasoning in large language models

Wei, J.; Wang, X.; Schuurmans, D.; Bosma, M.; Xia, F.; Chi, E.; Le, Q. V.; Zhou, D.; et al. 2022 · 2022

Later among the works it cites.

JuMP 1.0: Recent improvements to a modeling language for mathematical optimization

Lubin, M.; Dowson, O.; Garcia, J. D.; Huchette, J.; Legat, B.; and Vielma, J. P. 2023 · 2023

Closest in time.

MOSEK optimizer API for Python 10.1.8

MOSEK ApS. 2023 · 2023

Closest in time.

GPT-4 Technical Report

OpenAI. 2023 · 2023

Closest in time.

Explaining machine learning models with interactive natural language conversations using TalkToModel

Slack, D.; Krishna, S.; Lakkaraju, H.; and Singh, S. 2023 · 2023

Closest in time.