sean-lamont/deepseek-base-novel
Updated
Sean Lamont
sean-lamont
AI & ML interests
None yet
Recent Activity
updated
a Space about 8 hours ago
sean-lamont/ODD-Demo upvoted a paper about 8 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 Organizations
None yet
sean-lamont/reprover_pair_data
Updated
sean-lamont/leandojo-lean3-reprover-random
0.3B • Updated
• 1
sean-lamont/leandojo-lean3-reprover-novel-premises
0.3B • Updated
sean-lamont/leandojo-lean3-generator-novel-premises
0.3B • Updated
• 1
sean-lamont/leandojo-lean3-generator-random
0.3B • Updated
• 1
sean-lamont/leandojo-lean3-retrievers
Updated
sean-lamont/leandojo-lean4-tacgen-byt5-small-novel-premises
0.3B • Updated
• 1
sean-lamont/leandojo-lean4-tacgen-byt5-small-random
0.3B • Updated
• 1