Лаборатория · Microsoft Research
lab Microsoft Research Blog · 5 д назад SWE-bench Verified · 69.7% · 9 просмотров

Microsoft Research выпускает фреймворк Orchard для масштабируемого агентного ИИ

Microsoft Research выпустила Orchard, фреймворк с открытым исходным кодом, предназначенный для обеспечения масштабируемых и экономически эффективных исследований автономных агентов. Система основана на Orchard Env — сервисе среды на базе Kubernetes, который позволяет исследователям обучать и оценивать агентов в различных областях, таких как разработка программного обеспечения, навигация по веб-сайтам и персональная помощь, без необходимости перестраивать инфраструктуру.

lab Microsoft Research Blog · 9 д назад · 4 просмотра

Microsoft выпустила Echoverse для обучения агентов работы с компьютером

Microsoft Research выпустила Echoverse, набор из двенадцати глубоких синтетических сред, предназначенных для обучения агентов работы с компьютером. Инициатива включает десять специализированных миров и два мира, ориентированные на развитие навыков, все созданы для поддержания согласованного состояния и поведенческой точности.

lab Microsoft Research Blog · 9 д назад · 3 просмотра

Microsoft Research представляет EvoLib для обучения во время тестирования с помощью эволюционирующей библиотеки

Microsoft Research представила EvoLib, фреймворк, который позволяет большим языковым моделям учиться на собственном опыте во время вывода без необходимости в метках ground-truth или внешней обратной связи. Вместо хранения сырого опыта в виде статической памяти EvoLib преобразует его в повторно используемые навыки и рефлексивные инсайты, которые постоянно уточняются, консолидируются и переобновляются.

lab Microsoft Research Blog · 26 д назад · 1 просмотр

Microsoft выпустила проверенный код ML-KEM и SHA-3 в SymCrypt с использованием Lean и Aeneas

Microsoft открыла исходный код ветки своей криптографической библиотеки SymCrypt, содержащей формальные спецификации и доказательства для реализаций ML-KEM и SHA-3 на Rust. Этот релиз демонстрирует методологию, при которой производственные алгоритмы пишутся на безопасном Rust и проверяются против моделей Lean, полученных из стандартов, с использованием инструментария Aeneas.

media MarkTechPost · 3 д назад

SkillOpt от Microsoft обеспечивает передачу навыков агента между Codex и Claude Code

Исследователи из Microsoft, Шанхайского университета Цзяо Тун, Университата Тунцзи и Университета Фудан разработали SkillOpt — оптимизатор в текстовом пространстве, который обучает документы с навыками на естественном языке, оставляя целевую модель замороженной. Система использует модель-оптимизатор для предложения ограниченных правок на основе оценённых прогонов, экспортируя результат в виде одного файла `best_skill.md`.

media r/LocalLLaMA · 11 д назад · 5 просмотров

Microsoft выпустила Mage-VL — потоковую мультимодельную модель с нативным кодеком

Microsoft выпустила Mage-VL, эффективную мультимодельную базовую модель на 4 млрд параметров для понимания изображений и видео, использующую подход с нативным кодеком для оптимизации визуальной обработки. Система разделяет видеопотоки на опорные (I) кадры и предсказанные (P) кадры, сохраняя только те патчи, которым кодек выделяет биты, что снижает потребление визуальных токенов более чем на 75%.

media MarkTechPost · 12 д назад · 3 просмотра

Microsoft выпустила MAI-Cyber-1-Flash, доведя MDASH до 95,95% на CyberGym

Microsoft AI выпустила MAI-Cyber-1-Flash, модель, специализированную для кибербезопасности, которая работает внутри агентного сканирующего инструмента MDASH для улучшения обнаружения уязвимостей. Модель представляет собой разреженный трансформер Mixture-of-Experts с 137B общих и 5B активных параметров, происходящий из линейки MAI-Code-1-Flash.

media r/LocalLLaMA · 17 д назад · 5 просмотров

Microsoft выпустила Mage-Flow, 4B модель нативного разрешения для генерации и редактирования изображений

Microsoft выпустила Mage-Flow, компактный генеративный стек на 4B параметров, предназначенный для эффективной генерации изображений по тексту и редактирования изображений по инструкциям. Система достигает качества, сопоставимого с передовыми решениями, благодаря совместному проектированию легковесного токенизатора Mage-VAE и Native-Resolution Multimodal Diffusion Transformer (NR-MMDiT).

media r/LocalLLaMA · 17 д назад · 2 просмотра

Microsoft Research выпустила мультимодального агента для управления компьютером Fara1.5-27B

Исследовательская группа Microsoft Research AI Frontiers выпустила Fara1.5-27B, мультимодального агента для управления компьютером, предназначенного для веб-браузеров. Модель анализирует интерфейсы браузеров с помощью скриншотов и выполняет задачи путем выдачи структурированных вызовов инструментов, таких как нажатие, ввод текста, прокрутка и поиск.

arxiv arXiv cs.CL · 24 д назад Codeforces (Elo) · 2048.0Elo · 2 просмотра

Microsoft выпустила GFlowRL: стабильный RL в стиле GFlowNet для больших языковых моделей

Microsoft представляет GFlowRL, упрощённый алгоритм обучения с подкреплением, который масштабирует Generative Flow Networks для больших языковых моделей за счёт удаления вспомогательной сети разбиения. Метод заменяет обучаемую условную функцию разбиения на пакетную оценку методом Монте-Карло и добавляет коррекцию выборки по важности и асимметричную обрезку разрыва потока для стабильности.

arxiv arXiv cs.LG · 25 д назад

REGRIND учится ловкому манипулированию по одной демонстрации человека

Авторы представляют REGRIND, минималистичный конвейер обучения с подкреплением, направляемый ретаргетингом, который учит политики ловкого манипулирования на основе одной демонстрации человеком. Метод переносит движение руки человека и объекта на эталонные данные робота, сохраняя пространственные и контактные взаимосвязи, а затем обучает остаточную политику RL в симуляции для отслеживания ключевых точек, связанных с объектом.

arxiv arXiv cs.CL · 25 д назад

Исследование на бенгальском языке интегрирует SLM с культурно-чувствительным NLP для обнаружения дезинформации о здоровье

Это исследование предлагает основанный на ИИ детектор дезинформации о здоровье, дружелюбный к культурной и языковой разнообразности (CALD), специально решающий проблему отсутствия эффективных инструментов для малоресурсных языков, таких как бенгальский. Авторы оценивают Small Language Models (SLM) для преодоления ограничений Large Language Models в данном контексте.