Thomas Akira Otsuki Kwa

Currently at OpenAI trying to reduce existential risk.

Benchmarks

ComplexityZooBench
PreposterouslyDifficultMath