Sean Lamont's picture

2 1

Sean Lamont

sean-lamont

·

sean-lamont

AI & ML interests

None yet

Recent Activity

new activity 19 days ago

internlm/internlm2_5-step-prover:Generation Config Settings

updated a dataset 6 months ago

sean-lamont/bait_mongodb

updated a model 7 months ago

sean-lamont/deepseek-base-novel

View all activity

Organizations

None yet

models 9

sean-lamont/deepseek-base-novel

Updated Jul 2, 2024 • 2

sean-lamont/reprover_pair_data

Updated Jun 4, 2024

sean-lamont/leandojo-lean3-reprover-random

Text2Text Generation • Updated May 14, 2024 • 106

sean-lamont/leandojo-lean3-reprover-novel-premises

Text2Text Generation • Updated May 14, 2024 • 107

sean-lamont/leandojo-lean3-generator-novel-premises

Text2Text Generation • Updated May 14, 2024 • 109

sean-lamont/leandojo-lean3-generator-random

Text2Text Generation • Updated May 14, 2024 • 106

sean-lamont/leandojo-lean3-retrievers

Updated May 14, 2024

sean-lamont/leandojo-lean4-tacgen-byt5-small-novel-premises

Text2Text Generation • Updated May 10, 2024 • 78

sean-lamont/leandojo-lean4-tacgen-byt5-small-random

Text2Text Generation • Updated May 10, 2024 • 85

datasets 4

sean-lamont/bait_mongodb

Updated Aug 26, 2024 • 3

sean-lamont/reprover_predictions

Updated Jun 18, 2024 • 6

sean-lamont/leandojo-trace-caches

Updated May 16, 2024 • 4

sean-lamont/leandojo_traces

Updated Apr 18, 2024 • 3