カテゴリー理論

書いてみる

関連タグ

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

An Evaluation Benchmark for Autoformalization in Lean4

Ikemen Mas Kot
4週間前