Sam Pollard

HyperCactus0's activity

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

updated a dataset 14 days ago

HyperCactus0/LeanTransitionCorpus

Preview • Updated 14 days ago • 4.76k • 1

updated a collection 28 days ago

Interesting

Collection

5 items • Updated 28 days ago

liked a dataset 28 days ago

openbmb/MA-ProofBench

Viewer • Updated Aug 27 • 200 • 470 • 18

published a dataset about 1 month ago

HyperCactus0/LeanTransitionCorpus

Preview • Updated 14 days ago • 4.76k • 1

liked a model 5 months ago

datalab-to/surya-ocr-2

Image-Text-to-Text • 0.7B • Updated May 27 • 1.42M • • 128

updated a dataset 5 months ago

HyperCactus0/mirad_english_sentence_pairs

Viewer • Updated May 26 • 997 • 7

published a dataset 5 months ago

HyperCactus0/mirad_english_sentence_pairs

Viewer • Updated May 26 • 997 • 7

updated a collection about 1 year ago

Interesting

Collection

5 items • Updated 28 days ago

liked a dataset about 1 year ago

PAug/ProofNetSharp

Viewer • Updated Mar 24, 2025 • 371 • 913 • 9

updated a dataset about 1 year ago

HyperCactus0/example_dataset

Updated Aug 10, 2025 • 31

published a dataset about 1 year ago

HyperCactus0/example_dataset

Updated Aug 10, 2025 • 31

liked a model over 1 year ago

ResembleAI/chatterbox

Text-to-Speech • Updated Jun 10 • 1.63M • • 1.85k