Terabyte-Scale Analytics in the Blink of an Eye
Model-based Testing using LLMs
This repsitory contains the code for our paper Eywa: Automating Model-based Testing using LLMs. Our framework uses LLMs to automatically construct modular protocol models from natural-language specifications and applies symbolic execution and differential testing to…
Agent Lightning: Adding reinforcement learning to AI agents without code rewrites
By decoupling how agents work from how they’re trained, Agent Lightning turns each step an agent takes into data for reinforcement learning. This makes it easy for developers to improve agent performance with almost zero…
Inside Azure Innovations with Mark Russinovich | Microsoft Ignite 2025
Join Mark Russinovich, CTO and Technical Fellow of Microsoft Azure. Mark will take you on a tour of the latest innovations in Azure architecture and explain how Azure enables intelligent, modern, and innovative applications at…
Inside Azure innovations with Mark Russinovich | Microsoft Build 2025
Join Mark Russinovich, CTO, Deputy CISO, Technical Fellow of Microsoft Azure. Mark will take you on a tour of the latest innovations in Azure architecture and explain how Azure enables intelligent, modern, and innovative applications…