ruc-ai4math
/

LeanStateSearch2025.3

Sentence Similarity

Model card Files Files and versions

LeanStateSearch2025.3 / .gitattributes

Commit History

initial commit

b0fcdc9
verified

happyllll commited on Mar 7