Michael Jupp

juppy44's activity

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

liked 2 datasets 4 days ago

SLoonker/GPT-5.5-Distill-1.6k

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

AletheiaResearch/GLM-5.2-Agent

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

liked a dataset 5 days ago

scholarweave/arxiv-latex

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

updated a dataset 10 days ago

juppy44/NuminaMath-LEAN-hints-qwen35-9b-openrouter

Viewer • Updated 10 days ago • 9.48k • 52

updated a model 10 days ago

juppy44/qwen3.6-27b-oproofs-lora

Updated 10 days ago

published a model 10 days ago

juppy44/qwen3.6-27b-oproofs-lora

Updated 10 days ago

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

New activity in Pythagoras-LM/Pythagoras-Prover-4B 12 days ago

32B model

1

#1 opened 12 days ago by

juppy44

liked a dataset 12 days ago

nmuendler/share-codex

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

upvoted a paper 15 days ago

Aster: Autonomous Scientific Discovery over 20x Faster Than Existing Methods

Paper • 2602.07040 • Published Feb 3 • 3

upvoted a collection 15 days ago

WTF GENIUS PAPERS

Collection

Papers that made me appreciate my major and my life a little more. obs=Observation, innov=Innovation. Most papers are abt improving tiny models. • 187 items • Updated about 1 hour ago • 44

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