飞鸟成员
徐康平
2026-02-10   浏览 21

NO.0100  徐康平

清华大学交叉信息研究院,计算机科学技术专业,研究方向为大语言模型数学、推理和形式化数学。