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

  • Log In
  • Sign Up
Tian's picture
5 1

Tian

Yuchen111
XuTianCheng0102's profile picture Ziyang's profile picture
·

AI & ML interests

None yet

Recent Activity

upvoted a paper 10 days ago
RubricBench: Aligning Model-Generated Rubrics with Human Standards
updated a dataset 15 days ago
Yuchen111/test
published a dataset 15 days ago
Yuchen111/test
View all activity

Organizations

Open Code LLM Research Community's profile picture PrimusLM's profile picture SWE_TEAM's profile picture

Yuchen111 's collections 1

Paper
  • EvolProver: Advancing Automated Theorem Proving by Evolving Formalized Problems via Symmetry and Difficulty

    Paper • 2510.00732 • Published Oct 1, 2025 • 6
Paper
  • EvolProver: Advancing Automated Theorem Proving by Evolving Formalized Problems via Symmetry and Difficulty

    Paper • 2510.00732 • Published Oct 1, 2025 • 6
Company
TOS Privacy About Careers
Website
Models Datasets Spaces Pricing Docs