Latest review note
Added verified personal homepage and a conservative English bio from the public site.
Atlas / People / Detail
Research scientist at OpenAI focused on machine learning and theorem proving.
Profile status: updated
Added verified personal homepage and a conservative English bio from the public site.