Events

Abstract: Parallelism is critical to achieve high performance in modern computer systems. Unfortunately, most programs scale poorly beyond a few cores, and those that scale well often require heroic implementation […]

This talk discusses the role of logical reasoning in statistical machine learning. While their unification has been a long-standing and crucial open problem, automated reasoning and machine learning are still […]

Abstract: Large datasets are being generated that can transform biology and medicine. New machine learning methods are necessary to unlock these data and open doors for scientific discoveries. In this […]