Hugging Face
Models
Datasets
Spaces
Buckets
new
Docs
Enterprise
Pricing
Log In
Sign Up
4
1
3
Sean Lamont
sean-lamont
Follow
leehb's profile picture
1 follower
·
1 following
sean-lamont
AI & ML interests
None yet
Recent Activity
submitted
a paper
2 days ago
Free Lunch for Pass@k? Low Cost Diverse Sampling for Diffusion Language Models
authored
a paper
3 days ago
Free Lunch for Pass@$k$? Low Cost Diverse Sampling for Diffusion Language Models
updated
a Space
3 days ago
sean-lamont/ODD-Demo
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