4 papers · 1 filter
PEARL: Solver-in-the-Loop Interactive Optimization Modeling from Natural Language
Hongliang Lu, Zhong Li, Yuxuan Chen +3
Optimization modeling is the process of translating real-world decision problems, often described in natural language, into formal mathematical formulations and executable solver c…
Constructing Industrial-Scale Optimization Modeling Benchmark
Zhong Li, Hongliang Lu, Tao Wei +5
Optimization modeling underpins decision-making in logistics, manufacturing, energy, and finance, yet translating natural-language requirements into correct optimization formulatio…
MARVEL: A Multi Agent-based Research Validator and Enabler using Large Language Models
Nikhil Mukund, Yifang Luo, Fan Zhang +2
We present MARVEL (https://ligogpt.mit.edu/marvel), a locally deployable, open-source framework for domain-aware question answering and assisted scientific research. It is designed…
Do Fine-Tuned LLMs Understand Vulnerabilities? An Investigation into the Semantic Trap
Feiyang Huang, Yuqiang Sun, Fan Zhang +3
Large Language Models (LLMs) have shown promising performance in software vulnerability detection, particularly after domain-specific Supervised Fine-Tuning (SFT). However, it rema…