Deep Learning Speedrun — Deep Learning Speedrun
srush.github.io · saved by 1 readers
From real numbers and limits to derivatives, exponentials, and verified neural-network gradients in Lean.
From real numbers and limits to derivatives, exponentials, and verified neural-network gradients in Lean.