Miltiadis Allamanis
Source-listed: Apple
Record snapshot: Sep 3, 2026. Coverage and affiliations may be incomplete or historical.
Selected work
5- Gemini: A Family of Highly Capable Multimodal ModelsSaved credit: Contributor · 2023Explore people connected to this work →
- Disproving Program Equivalence with LLMsSaved credit: First author · 2025Explore people connected to this work →
- Unsupervised Evaluation of Code LLMs with Round-Trip CorrectnessSaved credit: First author · 2024Explore people connected to this work →
- Learning to Represent Programs with GraphsSaved credit: First author · 2018Explore people connected to this work →
- Self-Supervised Bug Detection and RepairSaved credit: First author · 2021Explore people connected to this work →