Integrating Logic, Probability and Neuro-Symbolic Reasoning using Probabilistic Soft Logic4 years ago

63:39

Strachey lecture - Symmetry and Similarity3 years ago

60:34

Strachey Lecture - Used or Be Used: Regaining Control of AI3 years ago

50:26

How Can Algorithms Help to Protect our Privacy3 years ago

54:48

From classical to non-classical stochastic shortest path problems2 years ago

57:09

Strachey Lecture: The Computer in the Sky2 years ago

62:09

From probabilistic bisimulation to representation learning via metrics1 years ago

55:03

Privacy, Verification, Robustness: A Cryptographer's perspective on ML1 years ago

64:18

Formalizing the Future: Lean’s Impact on Mathematics, Programming, and AI1 years ago

47:14

Will Computers prove theorems?1 years ago

46:25