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.
热门用户
