ruc-ai4math

university

AI & ML interests

None defined yet.

ruc-ai4math 's models 2

ruc-ai4math/LeanStateSearch2025.3

Sentence Similarity • 0.1B • Updated Mar 11 • 5 • 1

ruc-ai4math/Lean_State_Search_Random

Sentence Similarity • Updated Mar 7 • 4