Sun Yuze is an undergraduate researcher at SUFE. He specializes in AI Agent Architecture and Advanced RAG frameworks. He is a contributor to the statprover platform, where he helped to engineer the high-concurrency backend and graph-based memory modules. His vision is to bridge the gap between statistical rigor and neural-based reasoning