ruc-ai4math
/

LeanStateSearch2025.3

Sentence Similarity

Model card Files Files and versions

LeanStateSearch2025.3

Commit History

Improve model card: Add pipeline tag, library, license & usage

24b9770
verified

nielsr HF Staff commited on Jul 17, 2025

Update README.md

b350739
verified

timechess commited on Mar 11, 2025

Update README.md

d4538b5
verified

happyllll commited on Mar 7, 2025

Upload config.json

42fb6d1
verified

happyllll commited on Mar 7, 2025

initial commit

8c361e9
verified

happyllll commited on Mar 7, 2025

initial commit

b0fcdc9
verified

happyllll commited on Mar 7, 2025