Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
3
1
3
Sean Lamont
sean-lamont
Follow
leehb's profile picture
1 follower
·
1 following
sean-lamont
AI & ML interests
None yet
Recent Activity
authored
a paper
about 6 hours ago
Free Lunch for Pass@$k$? Low Cost Diverse Sampling for Diffusion Language Models
updated
a Space
about 15 hours ago
sean-lamont/ODD-Demo
upvoted
a
paper
about 15 hours ago
Free Lunch for Pass@k? Low Cost Diverse Sampling for Diffusion Language Models
View all activity
Organizations
None yet
sean-lamont
's datasets
5
Sort:Â Recently updated
sean-lamont/repairllama_preprocessed
Viewer
•
Updated
Nov 7, 2025
•
31.2k
•
5
sean-lamont/bait_mongodb
Updated
Aug 26, 2024
•
6
sean-lamont/reprover_predictions
Updated
Jun 18, 2024
•
7
sean-lamont/leandojo-trace-caches
Updated
May 16, 2024
•
6
sean-lamont/leandojo_traces
Updated
Apr 18, 2024
•
7