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 models 3

wyt2000/InverseCoder-CL-13B

Text Generation • 13B • Updated Jul 27, 2024 • 3

wyt2000/InverseCoder-CL-7B

Text Generation • 7B • Updated Jul 27, 2024 • 1 • 1

wyt2000/InverseCoder-DS-6.7B

Text Generation • 7B • Updated Jul 27, 2024 • 7 • 2