ruc-ai4math
/

LeanStateSearch2025.3

Sentence Similarity

Model card Files Files and versions Community

LeanStateSearch2025.3

Commit History

Update README.md

b350739
verified

timechess commited on 4 days ago

Update README.md

d4538b5
verified

happyllll commited on 8 days ago

Upload config.json

42fb6d1
verified

happyllll commited on 8 days ago

initial commit

8c361e9
verified

happyllll commited on 8 days ago

initial commit

b0fcdc9
verified

happyllll commited on 8 days ago