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

  • 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 a paper 6 months ago

Reasoning with Exploration: An Entropy Perspective

Paper • 2506.14758 • Published Jun 17, 2025 • 31 •
10
commented 2 papers 7 months ago

Reasoning with Exploration: An Entropy Perspective

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

Reasoning with Exploration: An Entropy Perspective

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

Add task categories, paper link and reinforcement learning tag

#2 opened 8 months ago by
nielsr
commented a paper 8 months 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