Formal Language Knowledge Corpus for Retrieval Augmented Generation