ruc-ai4math
/

LeanStateSearch2025.3

Sentence Similarity

Model card Files Files and versions

LeanStateSearch2025.3 / added_tokens.json

happyllll's picture

initial commit

8c361e9 verified 5 months ago

22 Bytes

	{
	"[MASK]": 30520
	}