-
Training neural networks with pre-trained models
my experience on using pre-trained models for training neural networks on custom datasets
-
Safety Proofs for the minimal CBC Casper family
looking at the formalised safety proofs
-
Isomorphism theorems
Looking at some isomorphism theorems for rings