Zhengyang Zhang

ZhengyangZhang's activity

• All
• Models
• Datasets
• Spaces
• Buckets
• Papers
• Collections
• Community
• Posts
• Upvotes
• Likes
• Articles

published a dataset 17 days ago

parallel-reasoner/parason

Viewer • Updated Jul 23 • 8.68k • 43

updated a dataset about 1 month ago

humanfia-lab/putnambench-solution

Updated Aug 27 • 13

updated a dataset about 2 months ago

humanfia-lab/lean-eval-source

Updated Aug 18 • 2.45k

published a dataset about 2 months ago

humanfia-lab/lean-eval-source

Updated Aug 18 • 2.45k

updated a collection 2 months ago

checkpoints

Collection

15 items • Updated Jul 23

updated a model 2 months ago

parallel-reasoner/demo

Updated Jul 23