Research Tools: code, datasets, & models

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…

Fast key-value store and log with support for larger-than-memory data.

Netherite is a storage execution engine for the Durable Task and Durable Functions frameworks. It is designed to achieve higher throughput and lower latency than previous implementations. It contains several architectural innovations and optimizations that…

MPNet is supported by Huggingface, one of the most popular repo for pre-trained language models. You can follow this link to have a try on MPNet via Huggingface.

Auscultation of respiratory sounds is the primary tool for screening and diagnosing lung diseases. Automated analysis, coupled with digital stethoscopes, can play a crucial role in enabling telescreening of fatal lung diseases. Deep neural networks…

This repo provides code for generating the sepsis cohort from MIMIC III dataset. Our main goal is to facilitate reproducibility of results in the literature.

Accompanying paper: iPhys: An Open Non-Contact Imaging-Based Physiological Measurement Toolbox A MATLAB toolbox for iPPG analysis. The toolbox includes implementations of commonly used methods.

Accompanies the paper Multi-Task Temporal Shift Attention Networks for On-Device Contactless Vitals Measurement (NeurIPS 2020)