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

63:39

Strachey lecture - Symmetry and Similarity3 years ago

60:34

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

50:26

How Can Algorithms Help to Protect our Privacy2 years ago

54:48

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

57:09

Strachey Lecture: The Computer in the Sky1 years ago

62:09

From probabilistic bisimulation to representation learning via metrics11 months ago

55:03

Privacy, Verification, Robustness: A Cryptographer's perspective on ML8 months ago

64:18

Formalizing the Future: Lean’s Impact on Mathematics, Programming, and AI6 months ago

47:14

Will Computers prove theorems?6 months ago

46:25