ログイン
会員登録
Lean4
書いてみる
関連タグ
#ICLR2024 (2)
#カテゴリー理論 (1)
#ハミング距離 (3)
#モデル (12,381)
#形式化 (10)
#自動形式化 (1)
人気
急上昇
新着
定番
有料のみ
2件
人気の記事一覧
【2024年東大理系数学】有名予備校の解答に強烈ダメ出し?え!?これヤバイやつやん!【1】
小林照幸
2週間前
3
An Evaluation Benchmark for Autoformalization in Lean4
Ikemen Mas Kot
10日前