Hugging Face's logo Hugging Face
  • Models
  • Datasets
  • Spaces
  • Docs
  • Enterprise
  • Pricing

  • Log In
  • Sign Up
Wang's picture
4 7

Wang

Rex2wzh
hanwenzhu's profile picture
·
  • RexWzh

AI & ML interests

nlp

Recent Activity

upvoted a paper 4 days ago
Seed-Prover 1.5: Mastering Undergraduate-Level Theorem Proving via Learning from Experience
liked a Space 2 months ago
PaddlePaddle/PaddleOCR-VL_Online_Demo
upvoted a paper 5 months ago
Seed-Prover: Deep and Broad Reasoning for Automated Theorem Proving
View all activity

Organizations

None yet

liked a Space 2 months ago
Running
Featured
208

PaddleOCR-VL Online Demo

📈
208

Parse and recognize text in images

liked 2 models about 1 year ago

Qwen/QwQ-32B-Preview

Text Generation • 33B • Updated Jan 12 • 48.4k • • 1.74k

KirillR/QwQ-32B-Preview-AWQ

Text Generation • 33B • Updated Nov 27, 2024 • 1.54k • 25
liked 2 datasets over 1 year ago

AI-MO/aimo-validation-aime

Viewer • Updated May 7 • 90 • 6.15k • 64

AI-MO/NuminaMath-CoT

Viewer • Updated Nov 25, 2024 • 860k • 11.9k • 515
liked 2 models over 2 years ago

meta-llama/Llama-2-7b

Text Generation • Updated Apr 17, 2024 • 429 • 4.44k

wellecks/llmstep-mathlib4-pythia2.8b

Text Generation • Updated Aug 9, 2023 • 29 • 6
Company
TOS Privacy About Careers
Website
Models Datasets Spaces Pricing Docs