ruc-ai4math
/

LeanStateSearch2025.3

Sentence Similarity

Model card Files Files and versions Community

LeanStateSearch2025.3 / 1_Pooling

Ctrl+K

Ctrl+K

2 contributors

History: 1 commit

happyllll's picture

Upload config.json

42fb6d1 verified 4 months ago

config.json

296 Bytes

Upload config.json 4 months ago