Wenyu Du's picture

4 8

Wenyu Du

wydu

·

AI & ML interests

None yet

Recent Activity

upvoted a paper 20 days ago

Re:Form -- Reducing Human Priors in Scalable Formal Software Verification with RL in LLMs: A Preliminary Study on Dafny

upvoted a paper 3 months ago

Thinker: Learning to Think Fast and Slow

commented on a paper 3 months ago

Thinker: Learning to Think Fast and Slow

View all activity

Organizations

Collections 1

Papers 4

arxiv:2505.07787

arxiv:2503.04808

arxiv:2406.17245

arxiv:2405.15319

models 2

wydu/Samba

Updated Aug 2, 2024

wydu/G_direct_withwise

Text Generation • Updated May 25, 2024 • 4 • 1

datasets 0

None public yet