Automated reasoning

Applied sciences
Information engineering
Artificial intelligence
Knowledge representation an...

About
Privacy
Disclaimer

Graph Chatbot

Related lectures (32)

Untitled

Firms: Human resources policies

Delves into the impact of new technologies on recruitment and selection processes in firms, emphasizing the need to predict future work performance.

The Law of Large Numbers: Proof and Applications

Explores the proof and applications of the law of large numbers, emphasizing convergence of the empirical distribution.

Proof of Main Lemma

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

Formal Verification and Program Synthesis

Explores Viktor Kuncak's research in formal verification, program synthesis, and teaching activities at EPFL.

Introduction to Quantifier Elimination for Presburger Arithmetic

Introduces formal verification methodology and Presburger arithmetic for program verification and automated reasoning.

Digital Consultant: EPFL 2021

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

Linear Algebra: Injective Functions

Explores injective functions in linear algebra, demonstrating how to prove injectivity step by step.

Integration by Recurrence

Explores integration by recurrence method with examples of square roots and polynomials.

Stainless Verification System Tutorial

Introduces Stainless, an open-source tool for verifying Scala programs, covering language, modeling, verification tips, and inner workings.

Inductive Propositions: Understanding Evaluation in Coq

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

Page 2 of 2