huzefaaziz

huzefaaziz18

3

AI & ML interests

None yet

Recent Activity

commentedon a paper 8 days ago

Prove2Me: An Open Collaborative Platform for Scaling Math Formalization

new activity 3 months ago

huggingface/InferenceSupport:larryvrh/MiniMax-H3-Turbo-Lora

new activity almost 2 years ago

deepseek-ai/DeepSeek-R1-Distill-Qwen-7B:high-low mode

View all activity

Organizations

None yet

commented a paper 8 days ago

Prove2Me: An Open Collaborative Platform for Scaling Math Formalization

Paper • 2608.28433 • Published Aug 31 • 1 •

New activity in huggingface/InferenceSupport 3 months ago

larryvrh/MiniMax-H3-Turbo-Lora

#11573 opened 3 months ago by

New activity in deepseek-ai/DeepSeek-R1-Distill-Qwen-7B almost 2 years ago

high-low mode

#3 opened almost 2 years ago by