← Back to PeopleZFResearcherZhiyuan FanCPU Verification @ Apple at AppleLinkedInZhiyuan Fan is a graduate student who has worked on CPU verification and AI systems.2Mentions2Articles2OutletsCompanies CoveredCarnegie Mellon University2Nature2DeepMind1NVIDIA1NYU1Google DeepMind1MIT1New York University1Stanford University1Appears InNature1MIT News1Appears AlongsideSamuel SokotaResearcher2 shared articlesHengyuan HuResearcher2 shared articlesEugene VinitskyResearcher2 shared articlesGabriele FarinaResearcher2 shared articlesArticlesMost recent firstMentioned InReferenced in coverageAtaraxos beat the top-ranked Stratego player 15-1-4 and cost under $8,000 to trainMIT NewspositiveOct 5, 2026“Co-author of Ataraxos AI system research at MIT EECS.”Ataraxos beats top Stratego player on under-$8,000 budgetNaturepositiveOct 1, 2026“Co-author of Nature paper on Ataraxos AI system for games with hidden information.”