カテゴリー理論

書いてみる

関連タグ

#ICLR2024 (2)
#Lean4 (2)
#ハミング距離 (3)
#モデル (14,532)
#形式化 (10)
#自動形式化 (1)

An Evaluation Benchmark for Autoformalization in Lean4

Ikemen Mas Kot
5か月前