Leroy: Library Learning for Imperative Programming Languages. - Abhiram Bellur; Razan Alghamdi; Kidus Workneh; Joseph Izraelevitz (CoRR, 2024)

Explaining Puzzle Solutions in Natural Language: An Exploratory Study on 6x6 Sudoku. - Anirudh Maiya; Razan Alghamdi; Maria Leonor Pacheco; Ashutosh Trivedi 001; Fabio Somenzi (ACL (Findings), 2025)