Researcher 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.
Tie-Aware Information-Retrieval Performance Measures
A collection of short programs to compute standard information-retrieval performance measures—Recall, Precision, F-measure, Mean Average Precision, Mean Reciprocal Rank, Normalized Discounted Cumulative Gain—in the presence of tied scores.
FS2PV: A Cryptographic-Protocol Verifier for F#
FS2PV is a verification tool that compiles cryptographic-protocol implementations in a first-order subset of F# to a formal pi-calculus model. This pi-calculus model then can be analyzed using ProVerif to prove the desired security properties…