[mirsadm]

There's no machine learning involved for hot pixel removal. The way I have heard it described is that hot pixels stay in the same place across multiple images. One of the processing steps is to figure out the location of the hot pixels by looking at multiple frames. Stars will shift slightly in between the longer exposures where as hot pixels will not.