ruc-ai4math
/

LeanStateSearch2025.3

Sentence Similarity

Model card Files Files and versions

LeanStateSearch2025.3

Commit History

Update README.md

b350739
verified

timechess commited on Mar 11

Update README.md

d4538b5
verified

happyllll commited on Mar 7

Upload config.json

42fb6d1
verified

happyllll commited on Mar 7

initial commit

8c361e9
verified

happyllll commited on Mar 7

initial commit

b0fcdc9
verified

happyllll commited on Mar 7