Tao Yicheng's picture

1 1

Tao Yicheng

timechess

·

timechess

AI & ML interests

None yet

Recent Activity

updated a model about 1 month ago

ruc-ai4math/LeanStateSearch2025.3

new activity about 2 months ago

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

liked a model about 2 months ago

ruc-ai4math/Lean_State_Search_Random

View all activity

Organizations

timechess's activity

New activity in ruc-ai4math/Lean_State_Search_Random about 2 months ago

Add pipeline tag, library and license information

#1 opened about 2 months ago by