机构
*
University of Science and Technology of China(中国科学技术大学)
;
Shanghai Jiao Tong University(上海交通大学)
;
Shanghai AI Laboratory(上海人工智能实验室)
;
City University of Hong Kong(香港城市大学)
;
The Chinese University of Hong Kong(香港中文大学)
;
Fudan University(复旦大学)
;
The University of Sydney(悉尼大学)
;
Beihang University(北航)
Amortized Predictability-aware Training Framework for Time Series Forecasting and Classification
面向时间序列预测与分类的摊销可预测性感知训练框架
Xu Zhang, Peng Wang, Yichen Li, Wei Wang
机构
*
Shanghai Key Laboratory of Data Science, College of Computer Science and Artificial Intelligence Fudan University(复旦大学计算机科学与人工智能学院上海数据科学关键实验室)
;
Department of Electrical and Computer Engineering University of British Columbia (UBC)(英属哥伦比亚大学电气与计算机工程系)
CommentsThis work is accepted by the proceedings of the ACM Web Conference 2026 (WWW 2026). The code is available at the link https://github.com/Meteor-Stars/APTF
机构
*
Shanghai Artificial Intelligence Laboratory(上海人工智能实验室)
;
Generative Symbolic Intelligence Lab (GenSI), Tsinghua University(生成符号智能实验室(GenSI),清华大学)
;
Institute for AI Industry Research (AIR), Tsinghua University(人工智能产业研究院(AIR),清华大学)
;
Tsinghua University(清华大学)
;
Fudan University(复旦大学)
;
Tianjin University(天津大学)
;
Georgia Institute of Technology(佐治亚理工学院)
;
Beijing University of Posts and Telecommunications(北京邮电大学)
;
University of Chinese Academy of Sciences(中国科学院大学)
;
City University of Hong Kong(香港城市大学)
Discovering heuristics in a complex SAT solver with large language models
利用大型语言模型发现复杂SAT求解器中的启发式策略
Yiwen Sun, Furong Ye, Zhihan Chen, Ke Wei, Shaowei Cai
机构
*
School of Data Science, Fudan University, Shanghai, China(复旦大学数据科学学院,上海,中国)
;
Key Laboratory of System Software, Institute of Software, Chinese Academy of Sciences, Beijing, China(中国科学院软件研究所系统软件重点实验室,北京,中国)
;
SeedMath Technology Limited, Beijing, China(SeedMath技术有限公司,北京,中国)