ABSTRACT: The past decade has seen unprecedented growth in Software Engineering— developers spend enormous time and effort to create new products. With such enormous growth comes the responsibility of producing […]
ABSTRACT: Research in lifelong or continual machine learning has advanced rapidly over the past few years, primarily focusing on enabling learned models to acquire new tasks over time while avoiding […]
ABSTRACT: Verified artificial intelligence (AI) is the goal of designing AI-based systems that have strong, ideally provable, assurances of correctness with respect to formally specified requirements. This talk will review […]
Climate change is a societal and political problem whose impact could be mitigated by technology. Underlying many of its technical challenges is a surprisingly simple yet challenging problem; modeling the […]
ABSTRACT: “Does generative AI infringe copyright?” is an urgent question. It is also a difficult question, for two reasons. First, “generative AI” is not just one product from one company. […]
ABSTRACT: Algorithm audits are powerful tools for studying black-box systems without direct knowledge of those systems’ inner workings. While they have been effectively deployed to identify harms and biases in […]
Intrinsic images are maps of surface properties. A classical problem is to recover an intrinsic image, typically a map of surface lightness, from an image. The topic has mostly […]
I will show the results of simple experiments that suggest that very good modern depth and normal predictors are strongly sensitive to lighting – if you relight a scene in […]
Online bipartite matching is one of the most fundamental problems in the online algorithms literature. Karp, Vazirani, and Vazirani (STOC 1990) gave an elegant algorithm for unweighted bipartite matching that […]
ABSTRACT: Shapley values and similar methods are widely used to explain the importance of features in model predictions. Clarity in the semantics of these feature importances is subtle, but crucial: […]
