Andre He

awhecmu

AI & ML interests

None yet

Recent Activity

updated a dataset 28 days ago

awhecmu/canonical-drafter-extract-mathlib

updated a dataset 29 days ago

awhecmu/canonical-drafter-rollout-gemini3flash

published a dataset 29 days ago

awhecmu/canonical-drafter-rollout-gemini3flash

View all activity

Organizations

None yet

awhecmu 's models 5

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

9B • Updated Apr 18 • 24

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

9B • Updated Apr 18 • 3

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

8B • Updated Nov 13, 2025 • 1

awhecmu/have-prover-haveDraft11-fix

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

awhecmu/have-prover-haveDraft11

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