Michael Jupp

juppy44's activity

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

liked a model 16 days ago

mistralai/Leanstral-1.5-119B-A6B

Updated 5 days ago • 451 • 206

liked 3 datasets 23 days ago

SLoonker/GPT-5.5-Distill-1.6k

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

AletheiaResearch/GLM-5.2-Agent

Traces • Updated 19 days ago • 319 • 3.18k • 49

scholarweave/arxiv-latex

Viewer • Updated 6 days ago • 3.09M • 33.9k • 85

liked a dataset 30 days ago

ZJUVAI/GenesisGeo

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

liked a dataset about 1 month ago

m-a-p/OProofs

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

liked a model about 1 month ago

m-a-p/OProver-32B

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

liked a dataset about 1 month ago

nmuendler/share-codex

Viewer • Updated Jun 18 • 4.33k • 157 • 6

liked 2 models about 1 month ago

WeiboAI/VibeThinker-3B

Text Generation • 3B • Updated 20 days ago • 69.1k • • 806

Pythagoras-LM/Pythagoras-Prover-4B

Text Generation • 4B • Updated Jun 18 • 533 • • 5

liked 10 datasets about 1 month ago

Goedel-LM/SFT_dataset_v2

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

Pythagoras-LM/SFT_Dataset

Viewer • Updated 28 days ago • 126k • 213 • 9

ScalableMath/Lean-STaR-plus

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

ScalableMath/Lean-CoT-plus

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

lm-provers/FineProofs-RL

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

internlm/Lean-Workbook

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

AI-MO/NuminaMath-LEAN

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

lm-provers/FineProofs-SFT

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

Glint-Research/Fable-5-traces

Traces • Updated 21 days ago • 4.67k • 72k • 636

RedTachyon/tmlr-openreview

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