Tao Yicheng's picture

1 1

Tao Yicheng

timechess

·

timechess

AI & ML interests

None yet

Recent Activity

authored a paper about 19 hours ago

TheoremForge: Scaling up Formal Data Synthesis with Low-Budget Agentic Workflow

updated a dataset about 22 hours ago

timechess/theoremforge

published a dataset about 22 hours ago

timechess/theoremforge

View all activity

Organizations

timechess 's datasets 1

timechess/theoremforge

Viewer • Updated about 22 hours ago • 1.35k