Matthias Aßenmacher

この研究では、大規模言語モデルを数学的推論タスクの審査員として評価してるよ。