neural-network

paper ,  neural-network ,  torchlean ,  lean4 ,  formal-verification ,  theorem-proving ,  ai4math

machine-learning ,  transformer ,  lecture ,  deep-learning ,  neural-network ,  primer