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
updated
a Space
about 6 hours ago
sean-lamont/ODD-Demo
upvoted
a
paper
about 6 hours ago
Free Lunch for Pass@k? Low Cost Diverse Sampling for Diffusion Language Models
liked
a Space
7 days ago
sean-lamont/ODD-Demo
View all activity
Organizations
None yet
spaces
1
Running
1
ODD Demo
🚀
Demonstration of diversity approaches for Diffusion LMs
models
9
Sort:Â Recently updated
sean-lamont/deepseek-base-novel
Updated
Jul 2, 2024
sean-lamont/reprover_pair_data
Updated
Jun 4, 2024
sean-lamont/leandojo-lean3-reprover-random
0.3B
•
Updated
May 14, 2024
•
1
sean-lamont/leandojo-lean3-reprover-novel-premises
0.3B
•
Updated
May 14, 2024
sean-lamont/leandojo-lean3-generator-novel-premises
0.3B
•
Updated
May 14, 2024
•
1
sean-lamont/leandojo-lean3-generator-random
0.3B
•
Updated
May 14, 2024
•
1
sean-lamont/leandojo-lean3-retrievers
Updated
May 14, 2024
sean-lamont/leandojo-lean4-tacgen-byt5-small-novel-premises
0.3B
•
Updated
May 10, 2024
•
1
sean-lamont/leandojo-lean4-tacgen-byt5-small-random
0.3B
•
Updated
May 10, 2024
•
1
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