Towards Advanced Mathematical Reasoning for LLMs via First-Order Logic Theorem Proving Paper • 2506.17104 • Published Jun 20 • 1
AdaR1: From Long-CoT to Hybrid-CoT via Bi-Level Adaptive Reasoning Optimization Paper • 2504.21659 • Published Apr 30 • 13
Mix Data or Merge Models? Balancing the Helpfulness, Honesty, and Harmlessness of Large Language Model via Model Merging Paper • 2502.06876 • Published Feb 8
Mitigating the Backdoor Effect for Multi-Task Model Merging via Safety-Aware Subspace Paper • 2410.13910 • Published Oct 17, 2024
Leveraging Invariant Principle for Heterophilic Graph Structure Distribution Shifts Paper • 2408.09490 • Published Aug 18, 2024