-
chuxuecao/FLV-RL-Qwen2.5-7B
8B • Updated • 26 • 1 -
chuxuecao/FLV-RL-Qwen2.5-14B
Updated • 1 -
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
Jinluan Yang
yangjinluan
AI & ML interests
Trustworthy Machine Learning
Recent Activity
updated
a collection
about 5 hours ago
Formal & General Reasoning
updated
a collection
about 5 hours ago
Formal & General Reasoning
updated
a collection
about 5 hours ago
Formal & General Reasoning
Organizations
-
chuxuecao/FLV-RL-Qwen2.5-7B
8B • Updated • 26 • 1 -
chuxuecao/FLV-RL-Qwen2.5-14B
Updated • 1 -
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
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