Yandong Wen's picture

1 2

Yandong Wen

ydwen

AI & ML interests

None yet

Recent Activity

authored a paper 30 days ago

FormalMATH: Benchmarking Formal Mathematical Reasoning of Large Language Models

upvoted a collection about 1 month ago

updated a dataset about 1 month ago

ydwen/llama3-ultrafeedback-armorm-4

View all activity

Organizations

None yet

Papers 3

arxiv:2505.02735

arxiv:2311.06243

arxiv:2309.07125

models 0

None public yet

datasets 15

ydwen/llama3-ultrafeedback-armorm-4

Viewer • Updated Apr 27 • 60.4k • 39

ydwen/llama3-ultrafeedback-armorm-3

Viewer • Updated Apr 27 • 60.3k • 37

ydwen/llama3-ultrafeedback-armorm-2

Viewer • Updated Apr 27 • 60.3k • 41

ydwen/llama3-ultrafeedback-armorm-1

Viewer • Updated Apr 27 • 60.1k • 40

ydwen/llama3-ultrafeedback-armorm-0

Viewer • Updated Apr 26 • 60.3k • 38

ydwen/math-solution-qwq32b-170

Viewer • Updated Mar 20 • 1.75M • 37

ydwen/math-solution-qwq32b

Viewer • Updated Mar 20 • 1.75M • 44

ydwen/new-synthesized-data-0

Viewer • Updated Feb 5 • 61.8k • 25

ydwen/synthesized-data-4

Viewer • Updated Jan 16 • 61.8k • 26

ydwen/synthesized-data-3

Viewer • Updated Jan 16 • 61.8k • 25