ruc-ai4math
/

LeanStateSearch2025.3

Sentence Similarity

Model card Files Files and versions Community

LeanStateSearch2025.3 / training_args.bin

Commit History

initial commit

8c361e9
verified

happyllll commited on 13 days ago