Seminars

Abstract to be confirmed

Link to join virtually: https://cam-ac-uk.zoom.us/j/89473073451

*Abstract*
*Bio*

Stay Tuned!

Memorization in LLMs has long been perceived as undesirable, associated with privacy risks, copyright concerns, and wasted capacity. In this talk, I argue for a complementary perspective: memorization is an intrinsic property of LLMs that can be leveraged to build a better LLM ecosystem.

In 2013 I wrote a book chapter on an imagined world where P = NP. A world with advances in medicine, translation, video recognition and generation, and much more.

Abstract: Almost everything you know about university coding projects – short duration, small teams, stable requirements and clean data – has no relevance to the majority of IT work in commercial organisations.

Abstract to be confirmed

Link to join virtually: https://cam-ac-uk.zoom.us/j/89473073451

This is the first of two related talks, the second of which by Wojciech Nawrocki will be on SynthLean and other formalization aspects of HoTTLean.
The following summary is from the ReadMe of the HoTTLean project, which is here https://github.com/sinhp/HoTTLean.

*Abstract*

Stay Tuned!

*Bio*

Shane Weisz is a first-year PhD student in Computer Science at the University of Cambridge, supervised by Professor Anil Madhavapeddy. His research focuses on AI to support global biodiversity conservation.