Matthew Yuan

Matthew Yuan

Doctoral Student

Student, Reuben College

E: matthew.yuan@reuben.ox.ac.uk

Themes:

• Automated Verification
• Artificial Intelligence and Machine Learning

Biography

Matthew is a DPhil student supervised by Marta Kwiatkowska researching the robustness of LLMs. He is a member of Reuben College. Matthew completed his undergraduate degree in Mathematics at Princeton University.

Supervisor