Hugging Face's logo
Dylan's picture
2 10 3

Dylan

shizhuo2
shizhediao's profile picture
·

AI & ML interests

None yet

Recent Activity

upvoted a paper 6 days ago
Building A Proof-Oriented Programmer That Is 64% Better Than GPT-4o Under Data Scarsity
commented on a paper 6 days ago
Building A Proof-Oriented Programmer That Is 64% Better Than GPT-4o Under Data Scarsity
upvoted a paper 9 days ago
The Best Instruction-Tuning Data are Those That Fit
View all activity

Organizations

FStar_NewDefinitions's profile picture Data Selection's profile picture fstar_training's profile picture ScaleBio Baseline's profile picture On Policy Preference Data's profile picture Offline-RL's profile picture

Papers 6