Spaces:

Ray5th
/

Lean4-helper

Sleeping

App Files Files Community

Lean4-helper / data /mathlib_index

77.3 MB

Ctrl+K

Ctrl+K

4 contributors

History: 2 commits

p4r5kpftnp-cmd

Swap MiniLM retriever for LeanDojo's ByT5 premise encoder

d05440d about 2 months ago

index.faiss

17.6 MB
xet

Swap MiniLM retriever for LeanDojo's ByT5 premise encoder about 2 months ago
index.pkl
Detected Pickle imports (2)
- "langchain_core.documents.base.Document",
- "langchain_community.docstore.in_memory.InMemoryDocstore"
How to fix it?
59.7 MB
xet

Swap MiniLM retriever for LeanDojo's ByT5 premise encoder about 2 months ago