ruc-ai4math
/

LeanStateSearch2025.3

Sentence Similarity

Model card Files Files and versions

LeanStateSearch2025.3 / README.md

Commit History

Update README.md

b350739
verified

timechess commited on Mar 11

Update README.md

d4538b5
verified

happyllll commited on Mar 7

initial commit

8c361e9
verified

happyllll commited on Mar 7