Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Concept

Automated reasoning

Related lectures (32)

Neuro-symbolic Representations: Commonsense Knowledge & Reasoning Log in to Mediaspace to watch this video

Delves into neuro-symbolic representations for commonsense knowledge and reasoning in natural language processing applications.

Neuro-symbolic Representations: Commonsense Knowledge & Reasoning Log in to Mediaspace to watch this video

Explores neuro-symbolic representations for understanding commonsense knowledge and reasoning, emphasizing the challenges and limitations of deep learning in natural language processing.

Transforms of the Place Log in to Mediaspace to watch this video

Explores the intuition behind transforms of the place and addresses audience questions on integral calculations and function choices.

Learning-aided Program Reasoning Log in to Mediaspace to watch this video

Explores bug-finding, verification, and the use of learning-aided approaches in program reasoning, showcasing examples like the Heartbleed bug and differential Bayesian reasoning.

Combinatorial Proofs: Frobenius Theorem Log in to Mediaspace to watch this video

Explores combinatorial proofs for the Frobenius Theorem, demonstrating mathematical reasoning and calculations.

Unclosed Curves Integrals Log in to Mediaspace to watch this video

Covers the calculation of integrals over unclosed curves, focusing on essential singularities and residue calculation.

Proofs and Logic: Introduction Log in to Mediaspace to watch this video

Introduces logic, proofs, sets, functions, and algorithms in mathematics and computer science.

Banach Spaces: Reflexivity and Convergence Log in to Mediaspace to watch this video

Explores Banach spaces, emphasizing reflexivity and sequence convergence in a rigorous mathematical framework.

Untitled Log in to Mediaspace to watch this video

Proof of Main Lemma Log in to Mediaspace to watch this video

Covers the proof of the main lemma and its mathematical properties.

Digital Consultant: EPFL 2021 Log in to Mediaspace to watch this video

Explores the role of a digital consultant in developing innovative applications.

Inductive Propositions: Understanding Evaluation in Coq Log in to Mediaspace to watch this video

Covers inductive propositions in Coq, focusing on evaluation rules for arithmetic expressions and their applications in defining partial and non-deterministic functions.