-
Pushing the Boundaries of Natural Reasoning: Interleaved Bonus from Formal-Logic Verification
Paper • 2601.22642 • Published • 9 -
Can Tool-Integrated Reinforcement Learning Generalize Across Diverse Domains?
Paper • 2510.11184 • Published • 1 -
Towards Advanced Mathematical Reasoning for LLMs via First-Order Logic Theorem Proving
Paper • 2506.17104 • Published • 2 -
chuxuecao/FLV-SFT-dataset
Viewer • Updated • 14.1k • 15 • 2
Jinluan Yang
yangjinluan
AI & ML interests
Trustworthy Machine Learning
Recent Activity
upvoted
a
paper
about 16 hours ago
Can Tool-Integrated Reinforcement Learning Generalize Across Diverse Domains?
authored
a paper
1 day ago
Pushing the Boundaries of Natural Reasoning: Interleaved Bonus from Formal-Logic Verification
Organizations
-
Pushing the Boundaries of Natural Reasoning: Interleaved Bonus from Formal-Logic Verification
Paper • 2601.22642 • Published • 9 -
Can Tool-Integrated Reinforcement Learning Generalize Across Diverse Domains?
Paper • 2510.11184 • Published • 1 -
Towards Advanced Mathematical Reasoning for LLMs via First-Order Logic Theorem Proving
Paper • 2506.17104 • Published • 2 -
chuxuecao/FLV-SFT-dataset
Viewer • Updated • 14.1k • 15 • 2
models
10
yangjinluan/3H_Merging_Mistral_Honesty
7B
•
Updated
•
1
yangjinluan/3H_Merging_Mistral_Harmlessness
7B
•
Updated
•
5
yangjinluan/3H_Merging_Mistral_Helpfulness
7B
•
Updated
•
2
yangjinluan/3H_Merging_Mistral_Helpfulness_Harmlessness
7B
•
Updated
•
4
yangjinluan/3H_Merging_Mistral_Helpfulness_Honesty
7B
•
Updated
•
3
yangjinluan/3H_Merging_Llama3_Harmlessness
Updated
•
5
yangjinluan/3H_Merging_Llama3_Helpfulness
Updated
•
1
yangjinluan/3H_Merging_Llama3_Helpfulness_Harmlessness
Updated
•
1
yangjinluan/3H_Merging_Llama3_Helpfulness_Honesty
Updated
•
3
yangjinluan/3H_Merging_Llama3_Honesty
Updated
datasets
0
None public yet