EPFL-LARA
/

lean-encoder-modernbert-large

Text Classification

theorem-proving

formal-verification

text-embeddings-inference

Model card Files Files and versions

lean-encoder-modernbert-large / training_args.bin

Lemmy00's picture

Latest evaluator with explicit inference examples

1b6fcc6 8 days ago

History Blame Contribute Delete

6.03 kB

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:: 4249f8af748dfe9f8ca9aecad601052c082a6f021db6020948bd1a947dc5700d
Size of remote file:: 6.03 kB
SHA256:: 600901b0b8508ec980ea1b9dc9d0f4c76ee7cd1dc966367e51717dff5439fb50

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