Leonardo de Moura
@Leonard41111588
가입 July 2023
59 팔로잉 중 8.2K 팬
Here is our postmortem describing new Lean bugs found by OpenAI internal models. They are all fixed in Lean v4.33.1 Many thanks to Daniel Selsam from OpenAI for all the help.
인기 있는 사용자
