Reasoning

The Laws of Thought: The Math of Minds and Machines, with Prof. Tom Griffiths

The Laws of Thought: The Math of Minds and Machines, with Prof. Tom Griffiths

Princeton Professor Tom Griffiths discusses his book "The Laws of Thought," exploring the mathematical models that govern both biological and artificial intelligence. He details the fundamental differences between human and machine cognition, rooted in their vastly different constraints, and explains how concepts like inductive bias, probability, and curiosity can bridge the gap between cognitive science and modern AI.

KDD '25 AI Reasoning Day keynote: Improving AI Reasoning through Intent, Interaction, and Inspection

KDD '25 AI Reasoning Day keynote: Improving AI Reasoning through Intent, Interaction, and Inspection

A deep dive into practical strategies for improving AI reasoning in code and structured tasks. The talk covers capturing richer user intent through examples, enabling collaborative interaction, and using automated inspection for iterative refinement, illustrated with real-world applications from Microsoft.

Tensor Logic "Unifies" AI Paradigms [Pedro Domingos]

Tensor Logic "Unifies" AI Paradigms [Pedro Domingos]

Pedro Domingos introduces Tensor Logic, a new programming language designed to be the fundamental language for AI. It unifies the two major paradigms: the learning capabilities of deep learning (neural networks) and the transparent, verifiable reasoning of symbolic AI (logic programming), aiming to solve critical issues like hallucination and the opacity of current models.

Tensor Logic "Unifies" AI Paradigms [Pedro Domingos]

Tensor Logic "Unifies" AI Paradigms [Pedro Domingos]

Pedro Domingos introduces Tensor Logic, a new programming language designed to be the fundamental language for AI. It unifies the two major paradigms: the data-driven learning of deep learning and the verifiable reasoning of symbolic AI. By treating logical rules and tensor operations as the same underlying construct, Tensor Logic enables systems that can learn logical structures and perform transparent, deductive reasoning, directly addressing critical issues like model opacity and hallucination.

Tensor Logic "Unifies" AI Paradigms [Pedro Domingos]

Tensor Logic "Unifies" AI Paradigms [Pedro Domingos]

Pedro Domingos introduces Tensor Logic, a new programming language designed to unify the two major paradigms of AI—deep learning's ability to learn from data and symbolic AI's power of logical reasoning—into a single, elegant framework.

AI That Can Change Its Mind? (New Architecture) [w/ Sakana CTO]

AI That Can Change Its Mind? (New Architecture) [w/ Sakana CTO]

Llion Jones, a co-inventor of the Transformer, and his colleague Luke Darlow from Sakana AI argue that the AI industry is trapped in a local minimum by the Transformer's success. They discuss the architecture's fundamental limitations using the 'spiral problem' analogy and introduce their new, biology-inspired Continuous Thought Machine (CTM), an architecture designed for more human-like, sequential reasoning and adaptive computation.