I feel that the LLM community has been very interested in Retrieval-Augmented-Generation, recently. But as far as I have seen (not very far), they are not very

I feel that the LLM community has been very interested in Retrieval-Augmented-Generation, recently. But as far as I have seen (not very far), they are not very formal methods oriented.