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.
人気のあるユーザー
