Research Tools: code, datasets, & models

Connecting the micro:bit v2 to a MakeCode Arcade compatible shield allows the micro:bit to become its own retro gaming handheld. The micro:bit acts like a game cartridge that contains all of your game code, all…

This project develops a formally verified implementation of the DICE measured boot protocol for IoT devices, micro-controllers, and other devices (microsoft/RIoT (opens in new tab)). The implementation is provably memory safe, functionally correct, and resistant…

Microsoft Vision Model ResNet-50 is a state-of-the-art ResNet-50 model pretrained with web-scale data, multi-task training, and web-supervision.

This repository contains the source code for the AAAI paper “Meta Label Correction for Noisy Label Learning”.

LayoutLM is a simple but effective multi-modal pre-training method of text, layout, and image for visually-rich document understanding and information extraction tasks, such as form understanding and receipt understanding. LayoutLM archives the SOTA results on…

About In-memory key-value store for testing applications against weak behaviors of a database.

Sample code for the paper Estimating α-Rank by Maximizing Information Gain.

Lean 4 programming language and theorem prover Lean is a functional programming language that makes it easy to write correct and maintainable code. You can also use Lean as an interactive theorem prover. Lean programming…

This framework exploits the sensitivity of modern machine learning algorithms to input perturbations in order to design “robust objects,” i.e., objects that are explicitly optimized to be confidently detected or classified. We demonstrate the efficacy…

FLAML is a Python library designed to automatically produce accurate machine learning models with low computational cost. It frees users from selecting learners and hyperparameters for each learner. FLAML is powered by a new, cost-effective…