Yutong Wu's picture

2 3 6

Yutong Wu

wyt2000

·

AI & ML interests

None yet

Recent Activity

authored a paper 3 days ago

StepFun-Formalizer: Unlocking the Autoformalization Potential of LLMs through Knowledge-Reasoning Fusion

commented on a paper 4 days ago

StepFun-Formalizer: Unlocking the Autoformalization Potential of LLMs through Knowledge-Reasoning Fusion

commented on a paper 4 days ago

StepFun-Formalizer: Unlocking the Autoformalization Potential of LLMs through Knowledge-Reasoning Fusion

View all activity

Organizations

wyt2000 's datasets 3

wyt2000/InverseCoder-CL-13B-Evol-Instruct-90K

Viewer • Updated Jul 10, 2024 • 90.4k • 28 • 1

wyt2000/InverseCoder-CL-7B-Evol-Instruct-90K

Viewer • Updated Jul 10, 2024 • 90.4k • 16

wyt2000/InverseCoder-DS-6.7B-Evol-Instruct-90K

Viewer • Updated Jul 10, 2024 • 90.4k • 56 • 3