Источник · Microsoft Research Blog
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.