Formal Language Knowledge Corpus for Retrieval Augmented Generation. - Majd Zayyad; Yossi Adi (CoRR, 2024)