Fuente · Microsoft Research Blog
lab Microsoft Research Blog · hace 6 d SWE-bench Verified · 69.7% · 9 vistas

Microsoft Research lanza el framework Orchard para IA agente escalable

Microsoft Research ha lanzado Orchard, un framework de código abierto diseñado para permitir una investigación escalable y rentable en agentes autónomos. El sistema se centra en Orchard Env, un servicio de entorno basado en Kubernetes que permite a los investigadores entrenar y evaluar agentes en diversos dominios como ingeniería de software, navegación web y asistencia personal sin reconstruir la infraestructura.

lab Microsoft Research Blog · hace 10 d · 3 vistas

Microsoft Research presenta EvoLib para el aprendizaje en tiempo de prueba con una biblioteca en evolución

Microsoft Research ha presentado EvoLib, un marco que permite a los modelos de lenguaje grandes aprender de su propia experiencia durante la inferencia sin necesidad de etiquetas de verdad fundamental ni retroalimentación externa. En lugar de almacenar experiencias crudas como memorias estáticas, EvoLib las transforma en habilidades reutilizables e insights reflexivos que se refinan, consolidan y reponderan continuamente.

lab Microsoft Research Blog · hace 27 d · 1 vista

Microsoft libera código verificado de ML-KEM y SHA-3 en SymCrypt usando Lean y Aeneas

Microsoft ha liberado como código abierto una rama de su biblioteca criptográfica SymCrypt que contiene especificaciones formales y pruebas para las implementaciones de Rust de ML-KEM y SHA-3. Este lanzamiento demuestra una metodología donde los algoritmos de producción se escriben en Rust seguro y se verifican contra modelos Lean derivados de estándares utilizando la cadena de herramientas Aeneas.