Jiahao Xu

Jiahao004's activity

• All
• Models
• Datasets
• Spaces
• Papers
• Collections
• Community
• Posts
• Upvotes
• Likes
• Articles

updated 2 datasets about 16 hours ago

Jiahao004/HMMT_FIMO_Putnam

Updated about 16 hours ago • 8

Jiahao004/DeepTheorem

Viewer • Updated about 16 hours ago • 121k • 1.19k • 16

updated a collection about 16 hours ago

DeepTheorem

Collection

A dataset and RL-zero pipeline for advanced mathematical reasoning of informal theorem proving. • 5 items • Updated about 16 hours ago • 2

published a dataset about 16 hours ago

Jiahao004/HMMT_FIMO_Putnam

Updated about 16 hours ago • 8

upvoted a paper 8 days ago

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

Paper • 2505.23754 • Published 8 days ago • 15

commented a paper 8 days ago

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

Paper • 2505.23754 • Published 8 days ago • 15 •

2

upvoted a paper 8 days ago

DeepMath-103K: A Large-Scale, Challenging, Decontaminated, and Verifiable Mathematical Dataset for Advancing Reasoning

Paper • 2504.11456 • Published Apr 15 • 13

upvoted a collection 8 days ago

DeepTheorem

Collection

A dataset and RL-zero pipeline for advanced mathematical reasoning of informal theorem proving. • 5 items • Updated about 16 hours ago • 2

updated a collection 12 days ago

DeepTheorem

Collection

A dataset and RL-zero pipeline for advanced mathematical reasoning of informal theorem proving. • 5 items • Updated about 16 hours ago • 2

updated 3 models 12 days ago

Jiahao004/DeepTheorem-qwen-7b-rl

Updated 12 days ago • 15 • 3

Jiahao004/DeepTheorem-qwen-3b-rl

Updated 12 days ago • 9

Jiahao004/DeepTheorem-qwen-1.5b-rl

Updated 12 days ago • 25 • 1

published 3 models 12 days ago

Jiahao004/DeepTheorem-qwen-7b-rl

Updated 12 days ago • 15 • 3

Jiahao004/DeepTheorem-qwen-3b-rl

Updated 12 days ago • 9

Jiahao004/DeepTheorem-qwen-1.5b-rl

Updated 12 days ago • 25 • 1

published a dataset 16 days ago

Jiahao004/DeepTheorem

Viewer • Updated about 16 hours ago • 121k • 1.19k • 16