Spaces:

Ray5th
/

Lean4-helper

Running

App Files Files Community

Lean4-helper / data /mathlib_index /index.faiss

p4r5kpftnp-cmd

Swap MiniLM retriever for LeanDojo's ByT5 premise encoder

d05440d about 1 month ago

History Blame Contribute Delete

17.6 MB

This file is stored with Xet . It is too big to display, but you can still download it.

Xet Pointer Details

( Raw pointer file )

Xet hash:: 161b6e4dc3c08b1e4ff985aff1474f412a186e1f61f4421a78377429a8dfa7cc
Size of remote file:: 17.6 MB
SHA256:: f75ec7aa513233711a27fe15798cba71c679faa220fe3d86ba6505d9ab8db6fb

Xet efficiently stores Large Files inside Git, intelligently splitting files into unique chunks and accelerating uploads and downloads. More info.