ruc-ai4math/Lean_State_Search_Random
Sentence Similarity
•
Updated
•
4
Hongteng Xu
Hongteng
AI & ML interests
Model Architecture; AI4Science; AI4Math
Organizations
liked
2
models
11 months ago