Theoretical physicists use machine-learning algorithms to speed up difficult calculations and eliminate untenable theories—but could they transform what it means to make discoveries? Theoretical ...

Recent advances in machine learning have opened transformative avenues for investigating complex problems in string theory and geometry. By integrating sophisticated algorithms with theoretical ...

Catalog description: Presents the underlying theory behind machine learning in proofs-based format. Answers fundamental questions about what learning means and what can be learned via formal models of ...

For mathematicians and computer scientists, this was often a year of double takes and closer looks. Some reexamined foundational principles, while others found shockingly simple proofs, new techniques ...

Welcome to the website of the CS theory group at CU Boulder! Our faculty and students research all aspects of theoretical computer science, from core areas such as algorithms, complexity, and ...

The recognition is for a 2005 paper titled “Agnostically Learning Halfspaces,” which Klivans co-authored with Adam Tauman ...

On November 16, IDEAL hosted a workshop focused on new directions on robustness in machine learning as part of the fall 2021 special quarter. Machine learning systems are widely deployed to facilitate ...

Apple's Machine Learning Reseach group has launched a new residency program inviting experts in various fields to apply their expertise to build new ML and AI-powered products and experiences. Apple ...