ruc-ai4math
/

LeanStateSearch2025.3

Sentence Similarity

Model card Files Files and versions

LeanStateSearch2025.3 / tokenizer.json

happyllll's picture

initial commit

8c361e9 verified 6 months ago

783 kB

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