11:46

Logic 10 - Recap | Stanford CS221: Artificial Intelligence (Autumn 2021)

19:32

Logic 6 - Propositional Resolutions | Stanford CS221: AI (Autumn 2021)

21:23

FOL (First Order Logic)

1:44:31

Stanford CS229 I Machine Learning I Building Large Language Models (LLMs)

26:10

Logic 7 - First Order Logic | Stanford CS221: AI (Autumn 2021)

20:14

Inference in First Order Logic (FOL) and Unification

22:14

Logic 1 - Overview: Logic Based Models | Stanford CS221: AI (Autumn 2021)

58:06

Stanford Webinar - Large Language Models Get the Hype, but Compound Systems Are the Future of AI