Can anyone explain the concept behind retriever in the LlamaIndex, as per my knowledge the retriever retrieve the information from the documents by matching it with the query, and as per my knowledge this matching is done my cosine similarity. Please highlight if I ma right or wrong. The RAG concept was first given in the research paper "Retrieval-Augmented Generation for Knowledge-Intensive NLP Tasks" in the research paper 2 formulas are used for retrieving which I have attached as pictures. I want to know that LlamaIndex (retriever = index.as_retriever(similarity_top_k=3)) works on which formula.