Seminar • The Future of Formalized Mathematics
Please note: This seminar will take place in DC 1304 and virtually over Zoom.
Florian Rabe
Friedrich-Alexander-Universität Erlangen-Nürnberg
Florian Rabe
Friedrich-Alexander-Universität Erlangen-Nürnberg
Nolan Peter Shaw, PhD candidate
David R. Cheriton School of Computer Science
Supervisor: Professor Jeff Orchard
Zhiying Jiang, PhD candidate
David R. Cheriton School of Computer Science
Supervisor: Professor Jimmy Lin
Deep neural networks (DNNs) are often used for text classification due to their high accuracy. However, DNNs can be computationally intensive, requiring millions of parameters and large amounts of labeled data, which can make them expensive to use, to optimize, and to transfer to out-of-distributed (OOD) cases in practice.
Silvia Sellán, PhD candidate
Department of Computer Science, University of Toronto
Nicholas Spooner, Assistant Professor
Department of Computer Science, University of Warwick
Ken Jen Lee, PhD candidate
David R. Cheriton School of Computer Science
Supervisor: Professor Edith Law
Sponsored by the Faculty of Mathematics Data Science Graduate Programs, please join Cheriton School of Computer Science expert in artificial intelligence, Professor Pascal Poupart, for a public talk in which he will describe the key technological advances in recent years that were behind AlphaGo and ChatGPT and ultimately facilitated these breakthroughs.
In recent years, we have seen the following —
Tanvir Ahmed Khan, PhD candidate
Computer Science and Engineering, University of Michigan
Billions of people rely on web services powered by data centers, where critical applications run 24/7. Unfortunately, data center applications are extremely inefficient, wasting more than 60% of all processor cycles, and causing millions of dollars in operational expenses and energy costs.
Yongqiang (Victor) Tian, PhD candidate
David R. Cheriton School of Computer Science
Supervisor: Professor Chengnian Sun
Matthew Lakier, PhD candidate
David R. Cheriton School of Computer Science
Supervisor: Professor Daniel Vogel