Spaces:

Ray5th
/

Lean4-helper

Running

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 25 days ago

index.faiss

17.6 MB
xet

Swap MiniLM retriever for LeanDojo's ByT5 premise encoder 25 days 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 25 days ago