ruc-ai4math
/

Lean_State_Search_Random

Sentence Similarity

Model card Files Files and versions Community

Lean_State_Search_Random

Commit History

Add pipeline tag, library and license information

51fb9e9
verified

nielsr HF Staff commited on Mar 7

Update README.md

dbb8c9c
verified

happyllll commited on Mar 4

Create README.md

1efe71e
verified

happyllll commited on Mar 4

Upload 7 files

8ebd7dd
verified

happyllll commited on Jan 18

upload pretrain

73b671c
verified

happyllll commited on Jan 18

upload finetune model

bf04604
verified

happyllll commited on Jan 18

initial commit

67f6012
verified

happyllll commited on Jan 18

initial commit

5cb927c
verified

happyllll commited on Jan 18