
INI Seminar Room 1
@iniseminarroom1







Towards a database of motivated proofs
★
★
★
★
☆
4/5

Prof. Kevin Buzzard | Formalizing mathematics today
★
★
★
★
☆
4/5


Steering Generative Models for Discovery
★
★
★
★
☆
4/5







Machine learning, causal inference, and economics
★
★
★
★
★
5/5

Adventures in Demand Analysis Using AI
★
★
★
★
☆
4/5





String Theory and the Moonshine Programme
★
★
★
★
★
5/5





Prof. Nigel Smart | Fully Homomorphic Encryption
★
★
★
★
☆
4/5






Prof. Jean-Pierre Serre | The quaquaversal group
★
★
★
★
★
5/5

Prof. Jack Thorne | Modularity, old and new
★
★
★
★
★
5/5




