Yixuan Li
Scholar

Yixuan Li

Google Scholar ID: 7X554ioAAAAJ
PhD Student in Computer Science, University of Edinburgh
Code GenerationAI for CodeAutomated ReasoningProgramming LanguagesFormal Methods
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
Elizabeth Polgreen
Lecturer, University of Edinburgh
Co-author 2
Co-author 2
Federico Mora Rocha
Federico Mora Rocha
University of Waterloo
Sanjit A. Seshia
Sanjit A. Seshia
Professor of EECS, University of California, Berkeley
Michael O'Boyle
Michael O'Boyle
Professor of Computer Science, University of Edinburgh
Alexander Brauckmann
Alexander Brauckmann
University of Edinburgh
José Wesley de Souza Magalhães
José Wesley de Souza Magalhães
Ph.D. Candidate at The University of Edinburgh
WeiZhi Tang
WeiZhi Tang
University of Edinburgh