链接
研究重点
Alignment Training Methods, Interpretability, Theoretical Alignment and Formal Methods
直到不久前，我还是墨尔本大学的一名职业数学家，研究领域包括代数几何、数理逻辑、数理物理的若干方向，以及最近的统计学习理论。2025 年初，我离开学术界，加入 Timaeus 负责 AI 安全研究。
链接
研究重点
Alignment Training Methods, Interpretability, Theoretical Alignment and Formal Methods
直到不久前，我还是墨尔本大学的一名职业数学家，研究领域包括代数几何、数理逻辑、数理物理的若干方向，以及最近的统计学习理论。2025 年初，我离开学术界，加入 Timaeus 负责 AI 安全研究。