Frederick Pu

UnluckyOrangutan's activity

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

updated a dataset 23 days ago

UnluckyOrangutan/consts-mathlib-v4.30.0

Viewer • Updated 23 days ago • 368k • 78

published a dataset 23 days ago

UnluckyOrangutan/consts-mathlib-v4.30.0

Viewer • Updated 23 days ago • 368k • 78

published a model 7 months ago

UnluckyOrangutan/qwen3-haveDraft

Updated Dec 1, 2025

updated a model 8 months ago

UnluckyOrangutan/have-prover-haveDraft11-fix-Q4_K_M-GGUF

8B • Updated Nov 13, 2025 • 1

published a model 8 months ago

UnluckyOrangutan/have-prover-haveDraft11-fix-Q4_K_M-GGUF

8B • Updated Nov 13, 2025 • 1

updated a model 8 months ago

UnluckyOrangutan/have-prover-haveDraft11-Q5_K_M-GGUF

8B • Updated Nov 10, 2025 • 13

published a model 8 months ago

UnluckyOrangutan/have-prover-haveDraft11-Q5_K_M-GGUF

8B • Updated Nov 10, 2025 • 13

liked a Space 8 months ago

Running on A10G

2.01k

GGUF My Repo

🦙

2.01k

Quantize Hugging Face models to GGUF format instantly

updated a model 8 months ago

UnluckyOrangutan/byt5-tactic-have-prover

0.3B • Updated Nov 5, 2025 • 300

published a model 8 months ago

UnluckyOrangutan/byt5-tactic-have-prover

0.3B • Updated Nov 5, 2025 • 300

updated a model 8 months ago

UnluckyOrangutan/have-prover-haveDraft11-Q4_K_M-GGUF

8B • Updated Oct 28, 2025 • 1

published a model 8 months ago

UnluckyOrangutan/have-prover-haveDraft11-Q4_K_M-GGUF

8B • Updated Oct 28, 2025 • 1

updated a dataset 9 months ago

UnluckyOrangutan/tactic-haveDraft11

Viewer • Updated Oct 18, 2025 • 443k • 6

published a dataset 9 months ago

UnluckyOrangutan/tactic-haveDraft11

Viewer • Updated Oct 18, 2025 • 443k • 6

updated a model 10 months ago

UnluckyOrangutan/byt5-tactic-haveDraft3

1B • Updated Sep 19, 2025 • 1

published a model 10 months ago

UnluckyOrangutan/byt5-tactic-haveDraft3

1B • Updated Sep 19, 2025 • 1

updated a dataset 10 months ago

UnluckyOrangutan/tactic-haveDraft10

Viewer • Updated Sep 8, 2025 • 429k • 11

published a dataset 10 months ago

UnluckyOrangutan/tactic-haveDraft10

Viewer • Updated Sep 8, 2025 • 429k • 11

updated a dataset 10 months ago

UnluckyOrangutan/tactic-haveDraft9

Viewer • Updated Sep 5, 2025 • 104k • 7

published a dataset 10 months ago

UnluckyOrangutan/tactic-haveDraft9

Viewer • Updated Sep 5, 2025 • 104k • 7