Thomas Akira Otsuki Kwa

Currently at OpenAI trying to reduce existential risk.

Benchmarks	SOTA
⊆ComplexityZooBench	—
PreposterouslyDifficultMath	—
Sokoban Optimization✨ In development	—