ruc-ai4math
/

LeanStateSearch2025.3

Sentence Similarity

Model card Files Files and versions Community

LeanStateSearch2025.3 / tokenizer.json

happyllll's picture

initial commit

8c361e9 verified 4 months ago

history contribute delete

783 kB

File too large to display, you can check the raw version instead.