EquivaMap: Leveraging LLMs for Automatic Equivalence Checking of Optimization Formulations

v1v2 (latest)

EquivaMap: Leveraging LLMs for Automatic Equivalence Checking of Optimization Formulations

20 February 2025

Author Contacts:

haotian.zhai@utexas.edu lawlessc@stanford.edu

ArXiv (abs)PDF HTML

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 Markelle Kelly Mohammad Tahaei Padhraic Smyth Lauren Wilcox 7 0 0 03 Jun 2025
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 He Yu Qingbin Liu 85 3 0 28 Oct 2024
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 Tasnim Ahmed Salimur Choudhury 60 11 0 02 Mar 2024
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 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 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 Hao Chen Gonzalo E. Constante-Flores Canzhou Li AI4CE 85 21 0 23 Aug 2023
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 OpenAI OpenAI OpenAI Josh Achiam Steven Adler Sandhini Agarwal Lama Ahmad ... Shengjia Zhao Tianhao Zheng Juntang Zhuang William Zhuk Barret Zoph LLMAG MLLM 1.4K 14,359 0 15 Mar 2023
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 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 Ziang Chen Jialin Liu Xinshang Wang Jian Lu W. Yin AI4CE 104 31 0 25 Sep 2022
Exact Combinatorial Optimization with Graph Convolutional Neural Networks Maxime Gasse Didier Chételat Nicola Ferroni Laurent Charlin Andrea Lodi GNN CML 140 486 0 04 Jun 2019
Learning Combinatorial Optimization Algorithms over Graphs H. Dai Elias Boutros Khalil Yuyu Zhang B. Dilkina Le Song 111 1,469 0 05 Apr 2017