Hugging Face's logo Hugging Face
  • Models
  • Datasets
  • Spaces
  • Buckets new
  • Docs
  • Enterprise
  • Pricing
    • Website
      • Tasks
      • HuggingChat
      • Collections
      • Languages
      • Organizations
    • Community
      • Blog
      • Posts
      • Daily Papers
      • Learn
      • Discord
      • Forum
      • GitHub
    • Solutions
      • Team & Enterprise
      • Hugging Face PRO
      • Enterprise Support
      • Inference Providers
      • Inference Endpoints
      • Storage Buckets

  • Log In
  • Sign Up
Jiahao Xu's picture
3 6 3

Jiahao Xu

Jiahao004
John6666's profile picture
·
  • Jiahao004

AI & ML interests

Sentence Emebddings; Neural Machine Translation

Organizations

NL2Lean's profile picture Tencent AI Lab AGI Center AgentLLM Group's profile picture

commented 3 papers 12 months ago

Reasoning with Exploration: An Entropy Perspective

Paper • 2506.14758 • Published Jun 17, 2025 • 30 •
10

Reasoning with Exploration: An Entropy Perspective

Paper • 2506.14758 • Published Jun 17, 2025 • 30 •
10

Reasoning with Exploration: An Entropy Perspective

Paper • 2506.14758 • Published Jun 17, 2025 • 30 •
10
New activity in Jiahao004/DeepTheorem 12 months ago

Add task categories, paper link and reinforcement learning tag

#2 opened about 1 year ago by
nielsr
commented a paper about 1 year ago

DeepTheorem: Advancing LLM Reasoning for Theorem Proving Through Natural Language and Reinforcement Learning

Paper • 2505.23754 • Published May 29, 2025 • 15 •
2
Company
TOS Privacy About Careers
Website
Models Datasets Spaces Pricing Docs