note

Theorem Prover as a Judge for Synthetic Data Generation

数学的推論のための合成データの需要が高まっている中で、大規模言語モデル（LLM）の数学的能力を向上させることを目的としています。特に、LLMによる推論の中間ステップの妥当性を確保することが重要な課題であり、これを解決するための方法を提案し ...