First order distinguishability of sparse random graphs. - Tal Hershko; Maksim Zhukovskii (LICS, 2024)

First-Order Logic with Equicardinality in Random Graphs. - Simi Haber; Tal Hershko; Mostafa Mirabi; Saharon Shelah (CSL, 2025)