ruc-ai4math/LeanStateSearch2025.3
Sentence Similarity
•
67M
•
Updated
•
11
•
1
ruc-ai4math
university
AI & ML interests
None defined yet.
timechess
updated
a
model
10 months ago
happyllll
updated
a
model
10 months ago
Add pipeline tag, library and license information
1
#1 opened 10 months ago
by
nielsr
Add pipeline tag, library and license information
1
#1 opened 10 months ago
by
nielsr
happyllll
updated
a
model
10 months ago
happyllll
published
a
model
10 months ago
Add dataset card and metadata
#1 opened 10 months ago
by
nielsr
happyllll
published
a
model
11 months ago
happyllll
published
a
dataset
11 months ago
happyllll
updated
2
datasets
11 months ago
happyllll
updated
a
model
11 months ago
happyllll
updated
a
dataset
11 months ago
happyllll
updated
a
model
11 months ago