Michael Jupp

juppy44's activity

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

liked a dataset 4 days ago

SLoonker/GPT-5.5-Distill-1.6k

Viewer • Updated May 10 • 1.7k • 195 • 3

liked 2 datasets 5 days ago

AletheiaResearch/GLM-5.2-Agent

Traces • Updated about 23 hours ago • 301 • 1.17k • 25

scholarweave/arxiv-latex

Viewer • Updated 1 day ago • 3.06M • 10.9k • 42

liked a dataset 11 days ago

ZJUVAI/GenesisGeo

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

liked a dataset 12 days ago

m-a-p/OProofs

Viewer • Updated May 19 • 6.8M • 5.82k • 2

liked a model 12 days ago

m-a-p/OProver-32B

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

liked a dataset 13 days ago

nmuendler/share-codex

Viewer • Updated 13 days ago • 4.33k • 189 • 6

liked 2 models 15 days ago

WeiboAI/VibeThinker-3B

Text Generation • 3B • Updated 1 day ago • 72.7k • • 757

Pythagoras-LM/Pythagoras-Prover-4B

Text Generation • 4B • Updated 13 days ago • 373 • • 4

liked 2 datasets 16 days ago

Goedel-LM/SFT_dataset_v2

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

Pythagoras-LM/SFT_Dataset

Viewer • Updated 9 days ago • 126k • 243 • 9

liked 3 datasets 17 days ago

ScalableMath/Lean-STaR-plus

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

ScalableMath/Lean-CoT-plus

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

lm-provers/FineProofs-RL

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

liked 4 datasets 18 days ago

internlm/Lean-Workbook

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

AI-MO/NuminaMath-LEAN

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

lm-provers/FineProofs-SFT

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

Glint-Research/Fable-5-traces

Traces • Updated 2 days ago • 4.67k • 44.3k • 489

liked 2 datasets 19 days ago

RedTachyon/tmlr-openreview

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

guochenmeinian/openreview_dataset

Viewer • Updated May 12, 2025 • 11.1k • 139 • 7