LogicReward: Incentivizing LLM Reasoning via Step-Wise Logical Supervision
LogicReward: 通过逐步逻辑监督激励大语言模型推理
Jundong Xu, Hao Fei, Huichi Zhou, Xin Quan, Qijun Huang, Shengqiong Wu, William Yang Wang, Mong-Li Lee, Wynne Hsu
机构
*
National University of Singapore(新加坡国立大学)
;
University College London(伦敦大学学院)
;
University of Manchester(曼彻斯特大学)
;
University of Melbourne(墨尔本大学)
;
University of California, Santa Barbara(加州大学圣巴巴拉分校)
机构
*
University of Illinois Urbana-Champaign(伊利诺伊大学厄巴纳-香槟分校)
;
Amazon(亚马逊)
;
University of Massachusetts Amherst(马萨诸塞大学阿姆赫斯特分校)
;
University of Texas at Austin(德克萨斯大学奥斯汀分校)
;
University at Buffalo(布法罗大学)
;
Northeastern University(东北大学)
Towards Anomaly-Aware Pre-Training and Fine-Tuning for Graph Anomaly Detection
面向图异常检测的异常感知预训练与微调
Yunhui Liu, Jiashun Cheng, Yiqing Lin, Qizhuo Xie, Jia Li, Fugee Tsung, Hongzhi Yin, Tao Zheng, Jianhua Zhao, Tieke He
机构
*
State Key Laboratory for Novel Software Technology, Nanjing University(新型软件技术国家重点实验室,南京大学)
;
HKUST(GZ)(香港科技大学(广州))
;
Tsinghua University(清华大学)
;
The University of Queensland(昆士兰大学)
The Ramanujan Library -- Automated Discovery on the Hypergraph of Integer Relations
拉马努金图书馆——整数关系超图上的自动发现
Itay Beit-Halachmi, Ido Kaminer
机构
*
The Ramanujan Machine Team, Faculty of Electrical and Computer Engineering Technion - Israel Institute of Technology(拉马努金机器团队,电气与计算机工程学院,技术离子理工学院)
Scaling Offline Model-Based RL via Jointly-Optimized World-Action Model Pretraining
通过联合优化的世界-动作模型扩展离线模型基于的强化学习
Jie Cheng, Ruixi Qiao, Yingwei Ma, Binhua Li, Gang Xiong, Qinghai Miao, Yongbin Li, Yisheng Lv
机构
*
State Key Laboratory of Multimodal Artificial Intelligence Systems, Institute of Automation, Chinese Academy of Sciences(多模态人工智能系统国家重点实验室,自动化研究所,中国科学院)
;
School of Artificial Intelligence, University of Chinese Academy of Sciences(中国科学院大学人工智能学院)
;
Alibaba Group(阿里巴巴集团)
机构
*
Inria(法国国家信息与自动化研究所)
;
Université de Bordeaux(波尔多大学)
;
MIT(麻省理工学院)
;
Computational Cognitive Science Lab(计算认知科学实验室)
;
University of California, Berkeley(加州大学伯克利分校)
;
Institute for Advanced Study in Toulouse(图卢兹高级研究学院)
CommentsPublished at the International Conference on Learning Representations (ICLR) 2025, with title: "Scaling Laws for Downstream Task Performance in Machine Translation"
Neural Theorem Proving for Verification Conditions: A Real-World Benchmark
为验证条件进行神经定理证明:一个现实世界的基准测试
Qiyuan Xu, Xiaokun Luan, Renxi Wang, Joshua Ong Jun Leang, Peixin Wang, Haonan Li, Wenda Li, Conrad Watt
机构
*
Nanyang Technological University(南洋理工大学)
;
Peking University(北京大学)
;
MBZUAI
;
Imperial College London(帝国理工学院)
;
East China Normal University(华东师范大学)
;
University of Edinburgh(爱丁堡大学)
Is Pure Exploitation Sufficient in Exogenous MDPs with Linear Function Approximation?
在具有线性函数逼近的外生MDP中纯利用是否足够?
Hao Liang, Jiayu Cheng, Sean R. Sinclair, Yali Du
机构
*
Department of Informatics, King’s College London(伦敦国王学院信息学院)
;
Independent Researcher(独立研究者)
;
Department of Industrial Engineering and Management Sciences, Northwestern University(西北大学工业工程与管理科学系)
;
The Alan Turing Institute(艾伦·图灵研究所)
Harder Is Better: Boosting Mathematical Reasoning via Difficulty-Aware GRPO and Multi-Aspect Question Reformulation
更难更好:通过难度感知的GRPO和多方面问题重述提升数学推理
Yanqi Dai, Yuxiang Ji, Xiao Zhang, Yong Wang, Xiangxiang Chu, Zhiwu Lu
机构
*
Gaoling School of Artificial Intelligence, Renmin University of China(中国人民大学人工智能学院)
;
AMAP, Alibaba Group(阿里集团AMAP)
;
Xiamen University(厦门大学)
;
Dalian University of Technology(大连理工大学)
The Forecast After the Forecast: A Post-Processing Shift in Time Series
预测之后的预测:时间序列中的后处理转变
Daojun Liang, Qi Li, Yinglong Wang, Jing Chen, Hu Zhang, Xiaoxiao Cui, Qizheng Wang, Shuo Li
机构
*
Key Laboratory of Computing Power Network and Information Security, Ministry of Education, Shandong Computer Science Center (National Supercomputing Center in Jinan), Qilu University of Technology (Shandong Academy of Sciences)(计算机网络与信息安全管理重点实验室,教育部,山东计算机科学中心(济南国家超算中心),齐鲁工业大学(山东省科学院))
;
Shandong Provincial Key Laboratory of Computing Power Internet and Service Computing, Shandong Fundamental Research Center for Computer Science(山东省计算互联网与服务计算重点实验室,山东省计算机科学基础研究中心)
;
Joint SDU-NTU Centre for Artificial Intelligence Research (C-FAIR), Shandong University(SDU-NTU联合人工智能研究中心(C-FAIR),山东大学)
;
Department of Computer and Data Sciences, Case Western Reserve University(计算机与数据科学系,凯斯西储大学)
;
Department of Biomedical Engineering, Case Western Reserve University(生物医学工程系,凯斯西储大学)