信頼性を問い直す：Lean定理証明ベンチマークの新たな挑戦
形式ベンチマークにおける欠陥：Lean定理証明データセットと評価手法の問題点
査読前の可能性がある研究情報
Lean定理証明のベンチマークに存在する欠陥と評価手法の問題点を指摘
arXiv cs.AI
毎日更新・AIニュース考察
AI記事考察ノート
公式発表・研究プレプリント・実装コミュニティの記事を、読む前に押さえたい文脈と注意点つきで整理。
7596掲載記事
5685深堀り対応
01