Website of Peter Schmidt-Nielsen. Twitter

I’m an ML engineer at Redwood Research, with an interest in GPU programming, SAT solving, formal verification, and machine learning.