Research Tools: code, datasets, & models
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.
Tool
Opinion Dynamics in Social Networks
Understanding how users form and update their opinions through interactions with their friends and neighbors in social networks is a fundamental problem with applications to online advertising, recommendations, and marketing. In our research, we carried…
Tool
Decomposition-SAT
A decomposition-based parallel SAT solver that decomposes SAT formulas efficiently and reconciles solutions between partitions by means of propositional (Craig) interpolation.
Tool
The Madingley Model
Source code, driver data and user manual for the Madingley model, as described in Harfoot, M.B.J., Newbold, T., Tittensor, D.P., Emmott, S., Hutton, J., Lyutsarev, V., Smith, M.J., Scharlemann, J.P.W. & Purves, D.W. (2014) Emergent…
Tool
Smart Selection Dataset
Smart selection is the task of predicting the span of text that a user intended to select after they touched on a single word on a touch-enabled device. The Smart Selection Dataset consists of crowd-sourced…