Kaiyu Yang

Kaiyu Yang 是一位计算机科学家，研究方向包括形式化数学、机器学习与神经符号推理，知名工作有 ProofNet 和与 Lean/Isabelle 相关的自动定理证明研究。