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(生物医学工程系,凯斯西储大学)
David Anugraha, Shou-Yi Hung, Zilu Tang, Annie En-Shiun Lee, Derry Tanti Wijaya, Genta Indra Winata
机构
*
Stanford University(斯坦福大学)
;
University of Toronto(多伦多大学)
;
Boston University(波士顿大学)
;
Ontario Tech University(安大略技术大学)
;
Monash University Indonesia(墨尔本大学印尼分校)
;
Capital One(Capital One公司)
机构
*
Hong Kong University of Science and Technology(香港理工大学)
;
Beihang University(北京航空航天大学)
;
SenseTime Research(商汤科技研究院)
;
Monash University(墨尔本大学)
;
Nanyang Technological University(南洋理工大学)
;
ETH Zürich(苏黎世联邦理工学院)
Membership Privacy Risks of Sharpness Aware Minimization
sharpness aware minimization 的成员隐私风险
Young In Kim, Andrea Agiollo, Pratiksha Agrawal, Johannes O. Royset, Rajiv Khanna
机构
*
Department of Computer Science(计算机科学系)
;
Purdue University(普渡大学)
;
Delft University of Technology(代尔夫特理工大学)
;
Department of Industrial and Systems Engineering(工业与系统工程系)
;
University of Southern California(南加州大学)