Mahdi Mostajabdaveh, Timothy T. Yu, Rindranirina Ramamonjison, Giuseppe Carenini, Zirui Zhou, Yong Zhang
{"title":"利用多代理多阶段 LLM 框架,从问题规格进行优化建模和验证","authors":"Mahdi Mostajabdaveh, Timothy T. Yu, Rindranirina Ramamonjison, Giuseppe Carenini, Zirui Zhou, Yong Zhang","doi":"10.1080/03155986.2024.2381306","DOIUrl":null,"url":null,"abstract":"This paper explores the use of Large Language Models (LLMs) in modeling real-world optimization problems. We concretely define the task of translating natural language descriptions into optimizatio...","PeriodicalId":13645,"journal":{"name":"Infor","volume":"52 1","pages":""},"PeriodicalIF":1.1000,"publicationDate":"2024-08-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Optimization modeling and verification from problem specifications using a multi-agent multi-stage LLM framework\",\"authors\":\"Mahdi Mostajabdaveh, Timothy T. Yu, Rindranirina Ramamonjison, Giuseppe Carenini, Zirui Zhou, Yong Zhang\",\"doi\":\"10.1080/03155986.2024.2381306\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"This paper explores the use of Large Language Models (LLMs) in modeling real-world optimization problems. We concretely define the task of translating natural language descriptions into optimizatio...\",\"PeriodicalId\":13645,\"journal\":{\"name\":\"Infor\",\"volume\":\"52 1\",\"pages\":\"\"},\"PeriodicalIF\":1.1000,\"publicationDate\":\"2024-08-07\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Infor\",\"FirstCategoryId\":\"94\",\"ListUrlMain\":\"https://doi.org/10.1080/03155986.2024.2381306\",\"RegionNum\":4,\"RegionCategory\":\"计算机科学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q4\",\"JCRName\":\"COMPUTER SCIENCE, INFORMATION SYSTEMS\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Infor","FirstCategoryId":"94","ListUrlMain":"https://doi.org/10.1080/03155986.2024.2381306","RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q4","JCRName":"COMPUTER SCIENCE, INFORMATION SYSTEMS","Score":null,"Total":0}
Optimization modeling and verification from problem specifications using a multi-agent multi-stage LLM framework
This paper explores the use of Large Language Models (LLMs) in modeling real-world optimization problems. We concretely define the task of translating natural language descriptions into optimizatio...
期刊介绍:
INFOR: Information Systems and Operational Research is published and sponsored by the Canadian Operational Research Society. It provides its readers with papers on a powerful combination of subjects: Information Systems and Operational Research. The importance of combining IS and OR in one journal is that both aim to expand quantitative scientific approaches to management. With this integration, the theory, methodology, and practice of OR and IS are thoroughly examined. INFOR is available in print and online.