数学的推論と一般化を評価するための象徴的なフレームワーク

本論文は、数学的推論の詳細な導出を大規模に生成および変更するための手法を提案し、Transformerの数学的推論と一般化能力を評価する。