Sean Lamont

sean-lamont's activity

• All
• Models
• Datasets
• Spaces
• Papers
• Collections
• Community
• Posts
• Upvotes
• Likes
• Articles

liked a dataset 2 months ago

Helsinki-NLP/tatoeba_mt

Updated Oct 8, 2024 • 6.33k • 59

updated a dataset 8 months ago

sean-lamont/bait_mongodb

Updated Aug 26, 2024 • 11

updated a model 10 months ago

sean-lamont/deepseek-base-novel

Updated Jul 2, 2024

updated a dataset 10 months ago

sean-lamont/reprover_predictions

Updated Jun 18, 2024 • 6

liked a model 11 months ago

EleutherAI/llemma_7b

Text Generation • Updated Feb 19, 2024 • 3.57k • 106

updated a model 11 months ago

sean-lamont/reprover_pair_data

Updated Jun 4, 2024

updated a dataset 11 months ago

sean-lamont/leandojo-trace-caches

Updated May 16, 2024 • 7

updated 5 models 11 months ago

sean-lamont/leandojo-lean3-reprover-random

Text2Text Generation • Updated May 14, 2024

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

Text2Text Generation • Updated May 14, 2024 • 20

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

Text2Text Generation • Updated May 14, 2024

sean-lamont/leandojo-lean3-generator-random

Text2Text Generation • Updated May 14, 2024

sean-lamont/leandojo-lean3-retrievers

Updated May 14, 2024

updated 2 models 12 months ago

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

Text2Text Generation • Updated May 10, 2024

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

Text2Text Generation • Updated May 10, 2024

updated a dataset about 1 year ago

sean-lamont/leandojo_traces

Updated Apr 18, 2024 • 7

New activity in kaiyuy/leandojo-lean3-tacgen-byt5-small about 1 year ago

Latest Tokenizer special character problem

1

#2 opened about 1 year ago by

sean-lamont

Latest Tokenizer special character problem

1

#2 opened about 1 year ago by

sean-lamont