3 papers
cs.AI2025
Gala: Global LLM Agents for Text-to-Model Translation
Junyang Cai, Serdar Kadioglu, Bistra Dilkina
Natural language descriptions of optimization or satisfaction problems are challenging to translate into correct MiniZinc models, as this process demands both logical reasoning and…
cs.AI2025
ParBalans: Parallel Multi-Armed Bandits-based Adaptive Large Neighborhood Search
Alican Yilmaz, Junyang Cai, Serdar Kadioglu +1
Solving Mixed-Integer Programming (MIP) problems often requires substantial computational resources due to their combinatorial nature. Parallelization has emerged as a critical str…
math.OC2024
Optimization Over Trained Neural Networks: Taking a Relaxing Walk
Jiatai Tong, Junyang Cai, Thiago Serra
Besides training, mathematical optimization is also used in deep learning to model and solve formulations over trained neural networks for purposes such as verification, compressio…