Winston Yin

winston utrecht 1-Hearts to Humanity Eternal

Development of agentic AI systems for formalisation in mathematics and physics. Development of formalized Lean libraries for quantum information.