IMProofBenchが示す数学的証明生成におけるAIの新境地
IMProofBench: 研究レベルの数学的証明生成におけるAI評価基準
査読前の可能性がある研究情報
IMProofBenchは、研究レベルの数学的証明生成におけるAI評価基準を提供する。
arXiv cs.CL
毎日更新・AIニュース考察
AI記事考察ノート
公式発表・研究プレプリント・実装コミュニティの記事を、読む前に押さえたい文脈と注意点つきで整理。
9330掲載記事
8614深堀り対応
01