TY - RPRT TI - Formal Language Knowledge Corpus for Retrieval Augmented Generation AU - Majd Zayyad AU - Yossi Adi PY - 2024 UR - https://arxiv.org/abs/2412.16689 ID - 2412.16689 ER -