Michael Jupp

juppy44's activity

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

liked a model 10 days ago

mistralai/Leanstral-1.5-119B-A6B

Updated 10 days ago • 358 • 195

liked 2 datasets 16 days ago

SLoonker/GPT-5.5-Distill-1.6k

Viewer • Updated May 10 • 1.7k • 170 • 4

AletheiaResearch/GLM-5.2-Agent

Traces • Updated 12 days ago • 319 • 2.7k • 42

liked a dataset 17 days ago

scholarweave/arxiv-latex

Viewer • Updated 2 days ago • 3.09M • 32.6k • 72

liked a dataset 23 days ago

ZJUVAI/GenesisGeo

Viewer • Updated Sep 30, 2025 • 21.8M • 181 • 2

liked a dataset 24 days ago

m-a-p/OProofs

Viewer • Updated May 19 • 6.8M • 7.31k • 3

liked a model 24 days ago

m-a-p/OProver-32B

Text Generation • 33B • Updated May 19 • 706 • 3

liked a dataset 24 days ago

nmuendler/share-codex

Viewer • Updated 25 days ago • 4.33k • 213 • 6

liked 2 models 27 days ago

WeiboAI/VibeThinker-3B

Text Generation • 3B • Updated 13 days ago • 85.3k • • 796

Pythagoras-LM/Pythagoras-Prover-4B

Text Generation • 4B • Updated 25 days ago • 542 • • 5

liked 2 datasets 28 days ago

Goedel-LM/SFT_dataset_v2

Viewer • Updated Mar 2 • 1.75M • 318 • 31

Pythagoras-LM/SFT_Dataset

Viewer • Updated 21 days ago • 126k • 299 • 9

liked 4 datasets 29 days ago

ScalableMath/Lean-STaR-plus

Viewer • Updated Jul 14, 2024 • 61.1k • 74 • 3

ScalableMath/Lean-CoT-plus

Viewer • Updated Jul 12, 2024 • 130k • 73 • 5

lm-provers/FineProofs-RL

Viewer • Updated Feb 14 • 5.23k • 145 • 7

internlm/Lean-Workbook

Viewer • Updated Oct 9, 2024 • 25.2k • 817 • 57

liked 4 datasets about 1 month ago

AI-MO/NuminaMath-LEAN

Viewer • Updated Jul 31, 2025 • 104k • 395 • 59

lm-provers/FineProofs-SFT

Viewer • Updated Feb 14 • 12.1k • 256 • 43

Glint-Research/Fable-5-traces

Traces • Updated 14 days ago • 4.67k • 74.3k • 603

RedTachyon/tmlr-openreview

Viewer • Updated Aug 29, 2024 • 2.73k • 70 • 1