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

  • Log In
  • Sign Up
Yizhen Jia's picture
4 1

Yizhen Jia PRO

wheresmyhair
  • wheresmyhair

AI & ML interests

None yet

Recent Activity

upvoted a paper about 2 months ago
V-ReasonBench: Toward Unified Reasoning Benchmark Suite for Video Generation Models
upvoted a paper 3 months ago
GAR: Generative Adversarial Reinforcement Learning for Formal Theorem Proving
View all activity

Organizations

None yet

upvoted a paper about 2 months ago

V-ReasonBench: Toward Unified Reasoning Benchmark Suite for Video Generation Models

Paper • 2511.16668 • Published Nov 20, 2025 • 54
upvoted a paper 3 months ago

GAR: Generative Adversarial Reinforcement Learning for Formal Theorem Proving

Paper • 2510.11769 • Published Oct 13, 2025 • 25
upvoted a paper over 1 year ago

TheoremLlama: Transforming General-Purpose LLMs into Lean4 Experts

Paper • 2407.03203 • Published Jul 3, 2024 • 12
upvoted a paper almost 2 years ago

LISA: Layerwise Importance Sampling for Memory-Efficient Large Language Model Fine-Tuning

Paper • 2403.17919 • Published Mar 26, 2024 • 16
Company
TOS Privacy About Careers
Website
Models Datasets Spaces Pricing Docs