SMLtoCoq: Automated Generation of Coq Specifications and Proof Obligations from SML Programs with Contracts. - Laila El-Beheiry; Giselle Reis; Ammar Karkour (LFMTP, 2021)

Text2Map: From Navigational Instructions to Graph-Based Indoor Map Representations Using LLMs. - Ammar Karkour; Khaled A. Harras; Eduardo Feo Flushing (IROS, 2024)