ruc-ai4math/LeanStateSearch2025.3
Sentence Similarity
•
Updated
•
7
ruc-ai4math
university
AI & ML interests
None defined yet.
Recent Activity
View all activity
ruc-ai4math's activity
timechess
updated
a
model
7 days ago
happyllll
updated
a
model
11 days ago
Add pipeline tag, library and license information
1
#1 opened 11 days ago
by
nielsr
Add pipeline tag, library and license information
1
#1 opened 11 days ago
by
nielsr
happyllll
updated
a
model
11 days ago
happyllll
published
a
model
11 days ago
Add dataset card and metadata
#1 opened 11 days ago
by
nielsr
happyllll
published
a
model
about 2 months ago
happyllll
published
a
dataset
about 2 months ago
happyllll
updated
2
datasets
about 2 months ago
happyllll
updated
a
model
about 2 months ago
happyllll
updated
a
dataset
about 2 months ago
happyllll
updated
a
model
about 2 months ago