Lean4

書いてみる

関連タグ

#2024東大数学 (2)
#ABC予想 (125)
#CoQ (7)
#ICLR2024 (3)
#IUT理論 (57)
#カテゴリー理論 (1)

【2024年東大理系数学】有名予備校の解答に強烈ダメ出し？え！？これヤバイやつやん！【1】

小林照幸
8か月前

An Evaluation Benchmark for Autoformalization in Lean4

Ikemen Mas Kot
8か月前