arxiv:2603.04893
Sean Lamont
sean-lamont
AI & ML interests
None yet
Recent Activity
liked a model about 1 month ago
z-lab/Qwen3.6-27B-DFlash liked a model about 1 month ago
webhie/Qwen3.6-27B-int4-AutoRound-Code submitted a paper 3 months ago
Free Lunch for Pass@k? Low Cost Diverse Sampling for Diffusion Language ModelsOrganizations
None yet
models 9
sean-lamont/deepseek-base-novel
Updated • 1
sean-lamont/reprover_pair_data
Updated
sean-lamont/leandojo-lean3-reprover-random
0.3B • Updated • 4
sean-lamont/leandojo-lean3-reprover-novel-premises
0.3B • Updated • 5
sean-lamont/leandojo-lean3-generator-novel-premises
0.3B • Updated • 4
sean-lamont/leandojo-lean3-generator-random
0.3B • Updated • 4
sean-lamont/leandojo-lean3-retrievers
Updated
sean-lamont/leandojo-lean4-tacgen-byt5-small-novel-premises
0.3B • Updated • 2
sean-lamont/leandojo-lean4-tacgen-byt5-small-random
0.3B • Updated • 2