Sean Lamont's picture

1 1

Sean Lamont

sean-lamont

·

sean-lamont

AI & ML interests

None yet

Organizations

None yet

models 9

sean-lamont/deepseek-base-novel

Updated Jul 2 • 2

sean-lamont/reprover_pair_data

sean-lamont/leandojo-lean3-reprover-random

Text2Text Generation • Updated May 14 • 5

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

Text2Text Generation • Updated May 14 • 96

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

Text2Text Generation • Updated May 14 • 4

sean-lamont/leandojo-lean3-generator-random

Text2Text Generation • Updated May 14 • 3

sean-lamont/leandojo-lean3-retrievers

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

Text2Text Generation • Updated May 10

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

Text2Text Generation • Updated May 10 • 6

datasets 4

sean-lamont/bait_mongodb

Updated Aug 26 • 7

sean-lamont/reprover_predictions

Updated Jun 18 • 1

sean-lamont/leandojo-trace-caches

Updated May 16 • 10

sean-lamont/leandojo_traces

Updated Apr 18 • 25