Andre He

awhecmu's activity

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

updated a dataset 27 days ago

awhecmu/canonical-drafter-extract-mathlib

Viewer • Updated 27 days ago • 1.09M • 124

updated a dataset 28 days ago

awhecmu/canonical-drafter-rollout-gemini3flash

Viewer • Updated 28 days ago • 133k • 228

published 2 datasets 28 days ago

awhecmu/canonical-drafter-rollout-gemini3flash

Viewer • Updated 28 days ago • 133k • 228

awhecmu/canonical-drafter-extract-mathlib

Viewer • Updated 27 days ago • 1.09M • 124

updated a model 3 months ago

awhecmu/Qwen3.5-9B-SFT-subproofs-mathlib-v4.29.0-Q5_K_M-GGUF

9B • Updated Apr 18 • 24

published a model 3 months ago

awhecmu/Qwen3.5-9B-SFT-subproofs-mathlib-v4.29.0-Q5_K_M-GGUF

9B • Updated Apr 18 • 24

updated a model 3 months ago

awhecmu/Qwen3.5-9B-SFT-subproofs-mathlib-v4.29.0

9B • Updated Apr 18 • 3

published a model 3 months ago

awhecmu/Qwen3.5-9B-SFT-subproofs-mathlib-v4.29.0

9B • Updated Apr 18 • 3

updated a model 8 months ago

awhecmu/have-prover-haveDraft11-fix-Q5_K_M-GGUF

8B • Updated Nov 13, 2025 • 1

published a model 8 months ago

awhecmu/have-prover-haveDraft11-fix-Q5_K_M-GGUF

8B • Updated Nov 13, 2025 • 1

updated a model 8 months ago

awhecmu/have-prover-haveDraft11-fix

Text Generation • 8B • Updated Nov 13, 2025 • 1

published a model 8 months ago

awhecmu/have-prover-haveDraft11-fix

Text Generation • 8B • Updated Nov 13, 2025 • 1

updated a model 9 months ago

awhecmu/have-prover-haveDraft11

Text Generation • 8B • Updated Oct 26, 2025 • 2

published a model 9 months ago

awhecmu/have-prover-haveDraft11

Text Generation • 8B • Updated Oct 26, 2025 • 2

updated a model 9 months ago

awhecmu/have-prover-haveDraft11

Text Generation • 8B • Updated Oct 26, 2025 • 2