Markus N Rabe's Tweets. Markus N Rabe Retweeted · Yuhuai (Tony) Wu · @Yuhu_ai_. ·. Oct 26. In May, we discovered that LLMs can autoformalize theorem ...
確定! 回上一頁