Michael Jupp

juppy44's activity

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

liked 4 datasets about 9 hours ago

openbmb/UltraFeedback

Viewer • Updated Dec 29, 2023 • 64k • 6.48k • 427

kyujinpy/orca_math_dpo

Viewer • Updated Apr 12, 2024 • 15.3k • 81 • 20

argilla/distilabel-math-preference-dpo

Viewer • Updated Jul 16, 2024 • 2.42k • 4.33k • 87

amalia-llm/DPO-Dataset

Viewer • Updated 25 days ago • 424k • 144 • 4

liked a model 17 days ago

mistralai/Leanstral-1.5-119B-A6B

Updated 5 days ago • 451 • 206

liked 3 datasets 24 days ago

SLoonker/GPT-5.5-Distill-1.6k

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

AletheiaResearch/GLM-5.2-Agent

Traces • Updated 19 days ago • 319 • 3.12k • 51

scholarweave/arxiv-latex

Viewer • Updated 7 days ago • 3.09M • 33.9k • 88

liked 2 datasets about 1 month ago

ZJUVAI/GenesisGeo

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

m-a-p/OProofs

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

liked a model about 1 month ago

m-a-p/OProver-32B

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

liked a dataset about 1 month ago

nmuendler/share-codex

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

liked 2 models about 1 month ago

WeiboAI/VibeThinker-3B

Text Generation • 3B • Updated 20 days ago • 67k • • 807

Pythagoras-LM/Pythagoras-Prover-4B

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

liked 6 datasets about 1 month ago

Goedel-LM/SFT_dataset_v2

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

Pythagoras-LM/SFT_Dataset

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

ScalableMath/Lean-STaR-plus

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

ScalableMath/Lean-CoT-plus

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

lm-provers/FineProofs-RL

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

internlm/Lean-Workbook

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