arxivGitHubあり2026-06-07
Artificial Intelligence for Mathematical Reasoning: An Integrated Survey of Language Models, Neuro-symbolic Systems, and Verified Discovery
Mathematical reasoning has long served as a stringent test of machine intelligence; over the past decade, it h
MI向き自然言語処理大規模言語モデル生成テキストマルチモーダル
- 用途
- 生成
- 難易度
- Hard
- コスト
- High
→