Microsfot OptiMind: малая модель для задач оптимизации
Microsoft Research выпустила OptiMind — модель на 20B параметров, которая переводит описания бизнес-задач в математические формулы для солверов оптимизации.
Проблема заключалась в том, как превратить задачу типа "оптимизации цепочки поставок" в код для Gurobi. Обычно это занимает у экспертов несколько дней или даже недель.
Решение: модель сначала классифицирует задачу (расписание, маршруты, сети), затем применяет подсказки экспертов для этой категории и генерит решение через код на Python с подключённо библиотекой Gurobi.
Обучали на очищенных данных OR-Instruct и OptMATH — исходные бенчмарки содержали 30-50% ошибок, которые вручную исправили.
Точность выросла на ~10% по сравнению с базовой моделью.
Модель доступна через HuggingFace и GitHub.
Для комфортной работы нужно ≥32GB видеопамяти и лицензия на Gurobi библиотеку.
#OptiMind #Gurobi #Microsoft
———
@tsingular
Microsoft Research выпустила OptiMind — модель на 20B параметров, которая переводит описания бизнес-задач в математические формулы для солверов оптимизации.
Проблема заключалась в том, как превратить задачу типа "оптимизации цепочки поставок" в код для Gurobi. Обычно это занимает у экспертов несколько дней или даже недель.
Решение: модель сначала классифицирует задачу (расписание, маршруты, сети), затем применяет подсказки экспертов для этой категории и генерит решение через код на Python с подключённо библиотекой Gurobi.
Обучали на очищенных данных OR-Instruct и OptMATH — исходные бенчмарки содержали 30-50% ошибок, которые вручную исправили.
Точность выросла на ~10% по сравнению с базовой моделью.
Модель доступна через HuggingFace и GitHub.
Для комфортной работы нужно ≥32GB видеопамяти и лицензия на Gurobi библиотеку.
#OptiMind #Gurobi #Microsoft
———
@tsingular
🔥6✍5❤1