自動形式化

書いてみる

関連タグ

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

An Evaluation Benchmark for Autoformalization in Lean4

Ikemen Mas Kot
4か月前