Daniel Selsam

Researcher at OpenAI

Selsam created NeuroSAT, an early demonstration that neural networks could discover useful patterns in difficult logic problems. He later contributed to OpenAI’s reasoning models and research aimed at helping machines solve and verify mathematics.