Lectures related to Untitled | EPFL Graph Search

Covers the basics of Coq, focusing on arithmetic expressions, evaluation, and proof techniques.

Logic Programming Techniques: Automated Proof Search and Unification

Covers logic programming concepts, focusing on automated proof search and unification techniques in Coq.

Covers the proof of the Bourgain's ARV Theorem, focusing on the finite set of points in a semi-metric space and the application of the ARV algorithm to find the sparsest cut in a graph.

Introduction to Proof Scripting: Basics of Ltac

Introduces the basics of proof scripting in Coq, focusing on the Ltac language and its tactics for managing proofs effectively.

Untitled

Weak Derivatives: Definition and Properties

Covers weak derivatives, their properties, and applications in functional analysis.

Dependent Types in Programming Languages

Explores maps, type operators, equivalence, first-class types, System Fw, Coq, and the challenges of type checking in programming languages.

Deep Neural Networks

Covers the back-propagation algorithm for deep neural networks and the importance of locality in CNN.

Gitlab Agent for Kubernetes (`agentk`)

Covers the setup of a Gitlab agent for Kubernetes, focusing on installation, version control, and troubleshooting.

Coq Workshop: Introduction to Interactive Theorem Proving

Introduces Coq, an interactive theorem assistant based on the Curry-Howard isomorphism.

Foundations of Scala: Modelling and Type Systems

Covers the foundations of Scala, including modelling recursive types, parameterized types, and variance.

Stochastic Endowment Consumption Model

Covers the stochastic endowment consumption model, log-linear transformation, impulse response solution, and Matlab codes.

Designing Learning Experiences: CS411 Class Project

Introduces the CS411 Class Project, where students design and test a lesson using learning theories.

Composition of Applications in Mathematics

Explores the composition of applications in mathematics and the importance of understanding their properties.

Hoare Logic: Foundations and Applications

Covers Hoare Logic, its foundations, applications, and significance in program verification.

Rigorous Bounds: Isotropic Phases

Explores rigorous upper and lower bounds for isotropic phase composites and their microstructure arrangement, focusing on laminated plates and stress-strain relationships.