Lectures related to Computer-assisted proof

Explores exploration bias and generalization bound in KL divergences, emphasizing mathematical proofs and implications.

Covers counting with recurrence relations, focusing on bit strings and the Tower of Hanoi problem.

Covers the properties of injective functions and demonstrates their proofs through examples and visual aids.

Explores implications and equivalences in linear algebra through examples and formal proofs.

Explores the verification of programs using Stainless, focusing on functional correctness, proof assistants, and automation of reasoning tasks.

Covers the concept of monodromy action in the context of coverings and explores transitivity and unique classes.

Explores the WireGuard Protocol, a modern VPN replacement for IPsec and OpenVPN, focusing on encrypted tunnelling and security properties.