wendy-sun/DafnyBench
Viewer
•
Updated
•
782
•
83
•
3
Wendy Sun PRO
wendy-sun
AI & ML interests
None yet
Recent Activity
liked
a model
9 days ago
TinyLlama/TinyLlama_v1.1
liked
a dataset
13 days ago
cais/mmlu
liked
a dataset
13 days ago
hendrycks/competition_math
Organizations
None yet
models
None public yet