ruc-ai4math
/

Lean_State_Search_Random

Sentence Similarity

Model card Files Files and versions

Lean_State_Search_Random

Commit History

Add pipeline tag, library and license information

51fb9e9
verified

nielsr HF Staff commited on Mar 7, 2025

Update README.md

dbb8c9c
verified

happyllll commited on Mar 4, 2025

Create README.md

1efe71e
verified

happyllll commited on Mar 4, 2025

Upload 7 files

8ebd7dd
verified

happyllll commited on Jan 18, 2025

upload pretrain

73b671c
verified

happyllll commited on Jan 18, 2025

upload finetune model

bf04604
verified

happyllll commited on Jan 18, 2025

initial commit

67f6012
verified

happyllll commited on Jan 18, 2025

initial commit

5cb927c
verified

happyllll commited on Jan 18, 2025