Swap MiniLM retriever for LeanDojo's ByT5 premise encoder d05440d p4r5kpftnp-cmd commited on about 1 month ago
