Henryk Michalewski is a researcher at Google DeepMind who made individual contributions to code and reasoning trainings and evaluations of PaLM.
Referenced in coverage
“Co-author on AlphaProof Nexus research paper on AI-driven formal proof search that solved nine open Erdős problems.”