ruc-ai4math
/

Lean_State_Search_Random

Sentence Similarity

Inference Endpoints

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 16 days ago

Update README.md

dbb8c9c
verified

happyllll commited on 19 days ago

Create README.md

1efe71e
verified

happyllll commited on 19 days ago

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