Zhibin Gou

新しいアプローチで、ツールの使い方が効果的になって、言語モデルの科学的推論が向上するよ。

動的プランニングとエラーチェックを通じてデータサイエンスのタスクを改善するために設計されたツール。

証明検索木に関する研究は、自動定理証明法を強化する。