Scholar
Yixuan Li
Google Scholar ID: 7X554ioAAAAJ
PhD Student in Computer Science, University of Edinburgh
Code Generation
AI for Code
Automated Reasoning
Programming Languages
Formal Methods
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
39
H-index
2
i10-index
1
Publications
7
Co-authors
11
list available
Contact
No contact links provided.
Publications
2 items
Learning to Collaborate via Structures: Cluster-Guided Item Alignment for Federated Recommendation
2026
Cited
0
The Similarity Control Problem with Required Events
2026
Cited
0
Resume (English only)
Co-authors
11 total
Elizabeth Polgreen
Lecturer, University of Edinburgh
Co-author 2
Federico Mora Rocha
University of Waterloo
Sanjit A. Seshia
Professor of EECS, University of California, Berkeley
Michael O'Boyle
Professor of Computer Science, University of Edinburgh
Alexander Brauckmann
University of Edinburgh
José Wesley de Souza Magalhães
Ph.D. Candidate at The University of Edinburgh
WeiZhi Tang
University of Edinburgh
×
Welcome back
Sign in to Agora
Welcome back! Please sign in to continue.
Email address
Password
Forgot password?
Continue
Do not have an account?
Sign up