Research
Secure Multi-Party Computation (MPC) is a powerful cryptographic tool that allows multiple entities to execute protocols in order to compute functions on their private data without sharing their data in the clear with each other.…
Value-function approximation methods that operate in batch mode have foundational importance to reinforcement learning (RL). Finite sample guarantees for these methods—which provide the theoretical backbones for empirical (“deep”) RL today—crucially rely on strong representation assumptions,…
SeeDot is an automatic quantization tool that generates efficient machine learning (ML) inference code for IoT devices. ML models are usually expressed in floating-point, and IoT devices typically lack hardware support for floating-point arithmetic. Hence,…
