ruc-ai4math

university

AI & ML interests

None defined yet.

Recent Activity

timechess updated a model about 1 month ago

ruc-ai4math/LeanStateSearch2025.3

happyllll updated a model about 1 month ago

ruc-ai4math/Lean_State_Search_Random

timechess new activity about 1 month ago

ruc-ai4math/Lean_State_Search_Random:Add pipeline tag, library and license information

View all activity

models 2

ruc-ai4math/LeanStateSearch2025.3

Sentence Similarity • Updated Mar 11 • 8 • 1

ruc-ai4math/Lean_State_Search_Random

Sentence Similarity • Updated Mar 7 • 4

datasets 1

ruc-ai4math/mathlib_handler_benchmark_410

Preview • Updated Mar 7 • 91