AI researcher who pointed out encoding changes can affect accuracy in puzzle benchmarks.
AI Explained