Discover an index of datasets, SDKs, APIs and open-source tools developed by Microsoft researchers and shared with the global academic community below. These experimental technologies—available through Azure AI Foundry Labs (opens in new tab)—offer a glimpse into the future of AI innovation.
Resource Leak Checker (RLC#) for C# code using CodeQL—RLC# is a lightweight and modular resource leak checker for C# code. It is inspired by Checker Framework’s resource leak checker (RLC) for Java. RLC# is developed…
Bridging Discrete and Backpropagation: Straight-Through and Beyond—Guided by our findings, we propose a novel method called ReinMax, which integrates Heun’s Method, a second-order numerical method for solving ODEs, to approximate the gradient. Our method, ReinMax,…
Benchmarking Spatial Relationships in Text-to-Image Generation—Spatial understanding is a fundamental aspect of computer vision and integral for human-level reasoning about images, making it an important component for grounded language understanding. While recent large-scale text-to-image synthesis…
This repository contains code and data for “Accurate Measures of Vaccination and Concerns of Vaccine Holdouts from Web Search Logs” (2023) by Serina Chang, Adam Fourney, and Eric Horvitz.
CO-BED: Information-Theoretic Contextual Optimization via Bayesian Experimental Design. We formalize the problem of contextual optimization through the lens of Bayesian experimental design and propose CO-BED—a general, model-agnostic framework for designing contextual experiments using information-theoretic principles.
We present a dataset of distributed energy resources (DERs) for the contiguous U.S. using only publicly available data. The primary focus of the dataset is on distribution-level utility-scale and distributed solar and storage, given their…
We view Large Language Models as stochastic language layers in a network, where the learnable parameters are the natural language prompts at each layer. We stack two such layers, feeding the output of one layer…
In the Harnessing AutoMobiles for Safety, or HAMS, project, we use low-cost sensing devices to construct a virtual harness for vehicles. The goal is to monitor the state of the driver and how the vehicle…
Code and Data artifact for NeurIPS 2023 paper – “Monitor-Guided Decoding of Code LMs with Static Analysis of Repository Context”. `multispy` is a lsp client library in Python intended to be used to build applications…
