DeepTheorem: Advancing LLM Reasoning for Theorem Proving Through Natural Language and Reinforcement Learning
Paper
•
2505.23754
•
Published
•
16
Zhixiong Zhuang
zhixiongzh
·
AI & ML interests
None yet
Recent Activity
liked
a dataset
4 months ago
wangrongsheng/HealthCareMagic-100k-en
liked
a dataset
8 months ago
liangzid/nlu_prompts
Organizations
None yet
zhixiongzh's activity
upvoted
a
paper
17 days ago
upvoted
an
article
about 1 year ago
Article
Beyond Traditional Fine-tuning: Exploring Advanced Techniques to Mitigate LLM Hallucinations
By
•
•
4