-
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 -
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 • 14 • 2
Jinluan Yang
yangjinluan
AI & ML interests
Trustworthy Machine Learning
Recent Activity
authored
a paper
about 12 hours ago
Pushing the Boundaries of Natural Reasoning: Interleaved Bonus from Formal-Logic Verification
upvoted
a
paper
about 14 hours ago
CoBA-RL: Capability-Oriented Budget Allocation for Reinforcement Learning in LLMs
upvoted
a
paper
about 14 hours ago
V_0: A Generalist Value Model for Any Policy at State Zero
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 -
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 • 14 • 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