ResearchTrend.AI
EquivaMap: Leveraging LLMs for Automatic Equivalence Checking of Optimization Formulations
v1v2 (latest)

EquivaMap: Leveraging LLMs for Automatic Equivalence Checking of Optimization Formulations

Haotian Zhai
Connor Lawless
Ellen Vitercik
Liu Leqi
ArXiv (abs)PDFHTML

Papers citing "EquivaMap: Leveraging LLMs for Automatic Equivalence Checking of Optimization Formulations"

16 / 16 papers shown
Title
Understanding Gender Bias in AI-Generated Product Descriptions
Understanding Gender Bias in AI-Generated Product Descriptions
Markelle Kelly
Mohammad Tahaei
Padhraic Smyth
Lauren Wilcox
7
0
0
03 Jun 2025
LLMs for Cold-Start Cutting Plane Separator Configuration
LLMs for Cold-Start Cutting Plane Separator Configuration
Connor Lawless
Yingxi Li
Anders Wikum
Madeleine Udell
Ellen Vitercik
79
2
0
16 Dec 2024
Deep Insights into Automated Optimization with Large Language Models and Evolutionary Algorithms
Deep Insights into Automated Optimization with Large Language Models and Evolutionary Algorithms
He Yu
Qingbin Liu
85
3
0
28 Oct 2024
When Large Language Model Meets Optimization
When Large Language Model Meets Optimization
Sen Huang
Kaixiang Yang
Sheng Qi
Rui Wang
77
12
0
16 May 2024
LM4OPT: Unveiling the Potential of Large Language Models in Formulating Mathematical Optimization Problems
LM4OPT: Unveiling the Potential of Large Language Models in Formulating Mathematical Optimization Problems
Tasnim Ahmed
Salimur Choudhury
60
11
0
02 Mar 2024
From Large Language Models and Optimization to Decision Optimization CoPilot: A Research Manifesto
From Large Language Models and Optimization to Decision Optimization CoPilot: A Research Manifesto
Segev Wasserkrug
Léonard Boussioux
D. Hertog
F. Mirzazadeh
Ilker Birbil
Jannis Kurtz
Donato Maragno
LLMAG
82
3
0
26 Feb 2024
OptiMUS: Scalable Optimization Modeling with (MI)LP Solvers and Large Language Models
OptiMUS: Scalable Optimization Modeling with (MI)LP Solvers and Large Language Models
Ali AhmadiTeshnizi
Wenzhi Gao
Madeleine Udell
LLMAG
61
25
0
15 Feb 2024
"I Want It That Way": Enabling Interactive Decision Support Using Large Language Models and Constraint Programming
"I Want It That Way": Enabling Interactive Decision Support Using Large Language Models and Constraint Programming
Connor Lawless
Jakob Schoeffer
Lindy Le
Kael Rowan
Shilad Sen
Cristina St. Hill
Jina Suh
Bahar Sarrafzadeh
73
12
0
12 Dec 2023
Diagnosing Infeasible Optimization Problems Using Large Language Models
Diagnosing Infeasible Optimization Problems Using Large Language Models
Hao Chen
Gonzalo E. Constante-Flores
Canzhou Li
AI4CE
85
21
0
23 Aug 2023
Large Language Models for Supply Chain Optimization
Large Language Models for Supply Chain Optimization
Beibin Li
Konstantina Mellou
Bo-qing Zhang
Jeevan Pathuri
Ishai Menache
79
49
0
08 Jul 2023
GPT-4 Technical Report
GPT-4 Technical Report
OpenAI OpenAI
OpenAI Josh Achiam
Steven Adler
Sandhini Agarwal
Lama Ahmad
...
Shengjia Zhao
Tianhao Zheng
Juntang Zhuang
William Zhuk
Barret Zoph
LLMAGMLLM
1.4K
14,359
0
15 Mar 2023
NL4Opt Competition: Formulating Optimization Problems Based on Their Natural Language Descriptions
NL4Opt Competition: Formulating Optimization Problems Based on Their Natural Language Descriptions
Rindranirina Ramamonjison
Timothy T. Yu
Raymond Li
Haley Li
Giuseppe Carenini
...
Shiqi He
Mahdi Mostajabdaveh
Amin Banitalebi-Dehkordi
Zirui Zhou
Yong Zhang
67
40
0
14 Mar 2023
On Representing Mixed-Integer Linear Programs by Graph Neural Networks
On Representing Mixed-Integer Linear Programs by Graph Neural Networks
Ziang Chen
Jialin Liu
Xinshang Wang
Jian Lu
W. Yin
AI4CE
61
17
0
19 Oct 2022
On Representing Linear Programs by Graph Neural Networks
On Representing Linear Programs by Graph Neural Networks
Ziang Chen
Jialin Liu
Xinshang Wang
Jian Lu
W. Yin
AI4CE
106
31
0
25 Sep 2022
Exact Combinatorial Optimization with Graph Convolutional Neural Networks
Exact Combinatorial Optimization with Graph Convolutional Neural Networks
Maxime Gasse
Didier Chételat
Nicola Ferroni
Laurent Charlin
Andrea Lodi
GNNCML
140
486
0
04 Jun 2019
Learning Combinatorial Optimization Algorithms over Graphs
Learning Combinatorial Optimization Algorithms over Graphs
H. Dai
Elias Boutros Khalil
Yuyu Zhang
B. Dilkina
Le Song
111
1,469
0
05 Apr 2017