ruc-ai4math
/

LeanStateSearch2025.3

Sentence Similarity

Model card Files Files and versions Community

LeanStateSearch2025.3 / 1_Pooling

Commit History

Upload config.json

42fb6d1
verified

happyllll commited on Mar 7