Tao Yicheng's picture

1 1

Tao Yicheng

timechess

·

timechess

AI & ML interests

None yet

Recent Activity

authored a paper 3 days ago

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

updated a dataset 3 days ago

timechess/theoremforge

published a dataset 3 days ago

timechess/theoremforge

View all activity

Organizations

timechess 's datasets 1

timechess/theoremforge

Viewer • Updated 3 days ago • 1.35k • 24