Qingxing Cao

新しいベンチマークは、自動推論のためのモデルの定理生成能力を向上させることを目指している。