自動形式化

書いてみる

関連タグ

#ICLR2024 (3)
#Lean4 (2)
#カテゴリー理論 (1)
#ハミング距離 (4)
#モデル (16,191)
#形式化 (12)

An Evaluation Benchmark for Autoformalization in Lean4

Ikemen Mas Kot
7か月前