ruc-ai4math
/

LeanStateSearch2025.3

Sentence Similarity

Model card Files Files and versions Community

LeanStateSearch2025.3 / added_tokens.json

happyllll's picture

initial commit

8c361e9 verified 10 days ago

history blame contribute delete

22 Bytes

	{
	"[MASK]": 30520
	}