ruc-ai4math

university

AI & ML interests

None defined yet.

models 2

ruc-ai4math/LeanStateSearch2025.3

Sentence Similarity • 67M • Updated Mar 11, 2025 • 23 • 1

ruc-ai4math/Lean_State_Search_Random

Sentence Similarity • Updated Mar 7, 2025 • 4

datasets 1

ruc-ai4math/mathlib_handler_benchmark_410

Preview • Updated Mar 7, 2025 • 315 • 1