Thomas Akira Otsuki Kwa

Currently at OpenAI trying to reduce existential risk.

Benchmarks

ComplexityZooBench —
PreposterouslyDifficultMath —