Automated Formalization via Conceptual Retrieval-Augmented LLMs
Wangyue Lu · Lun Du · Sirui Li · Ke Weng · Haozhe Sun · Hengyu Liu · Minghe Yu · Tiancheng Zhang · Ge Yu
首次获取该候选人的完整档案及 StartLux 评估共 20 积分;每位用户单独解锁,之后查看免费。主动刷新 20 积分。
实时查找电子邮箱,费用不超过20积分;未找到邮箱不扣费。
Wangyue Lu · Lun Du · Sirui Li · Ke Weng · Haozhe Sun · Hengyu Liu · Minghe Yu · Tiancheng Zhang · Ge Yu
Shuliang Liu · Zhipeng Xu · Zhenghao Liu · Yukun Yan · Minghe Yu · Yu Gu · an Jiaotong University) · Huiyuan Xie · Ge Yu
Large Language Models (LLMs) as automatic evaluators, commonly referred to as LLM-as-a-Judge, have also attracted growing attention. This approach plays a vital role in aligning LLMs with human judgments, providing accurate and reliable assessments. However, LLM-based judgment models often exhibi...
Zhuoyang Wu · Xinze Li · Zhenghao Liu · Yukun Yan · Zhiyuan Liu · Minghe Yu · Cheng Yang · Yu Gu · Ge Yu · Maosong Sun
Large Language Models (LLMs) have exhibited strong reasoning capabilities and achieved remarkable performance in mathematical problem-solving tasks. Recently, distilling reasoning ability from long-form Chains-of-Thought (CoTs) has emerged as a promising approach for enhancing Small Language Mode...
Chunyi Peng · Zhipeng Xu · Zhenghao Liu · Yishan Li · Yukun Yan · Shuo Wang · Yu Gu · Minghe Yu · Ge Yu · Maosong Sun
Multimodal Retrieval-Augmented Generation (MRAG) has shown promise in mitigating hallucinations in Multimodal Large Language Models (MLLMs) by incorporating external knowledge. However, existing methods typically adhere to rigid retrieval paradigms by mimicking fixed retrieval trajectories and th...