CommentsWe develop a black-box optimization algorithm that learns gradients with neural models and can be applied to solve non-convex high dimensional real-world problems
机构
*
Harbin Institute of Technology(哈尔滨工业大学)
;
State Key Laboratory of Cognitive Intelligence(认知智能国家重点实验室)
;
Tianjin Normal University(天津师范大学)
;
Pengcheng Laboratory(鹏城实验室)
CommentsAccepted for presentation at the 2026 IEEE International Symposium on Circuits and Systems (ISCAS 2026). Proceedings to be included in IEEE Xplore
Numina-Lean-Agent: An Open and General Agentic Reasoning System for Formal Mathematics
Numina-Lean-Agent: 一种面向形式数学的开放且通用的代理推理系统
Junqi Liu, Zihao Zhou, Zekai Zhu, Marco Dos Santos, Weikun He, Jiawei Liu, Ran Wang, Yunzhou Xie, Junqiao Zhao, Qiufeng Wang, Lihong Zhi, Jia Li, Wenda Li
机构
*
Academy of Mathematics and Systems Science, University of Chinese Academy of Sciences(中国科学院数学与系统科学研究院)
;
Tongji University(同济大学)
;
University of Cambridge(剑桥大学)
;
Imperial College London(伦敦帝国学院)
;
University of Edinburgh(爱丁堡大学)
;
University of Liverpool(利物浦大学)
;
Xi'an Jiaotong-Liverpool University(西安交通大学利物浦大学)
Cloud-based digitization workflow with rich metadata acquisition for cultural heritage objects
基于云的数字化工作流程与丰富元数据采集用于文化遗产对象
Krzysztof Kutt, Luiz do Valle Miranda, Jakub Gomułka, Grzegorz J. Nalepa
机构
*
Department of Human-Centered Artificial Intelligence, Institute of Applied Computer Science, Faculty of Physics, Astronomy and Applied Computer Science, Jagiellonian University(以人为本的人工智能系、应用计算机科学研究所、物理、天文学和应用计算机科学学院,雅盖隆大学)
;
Faculty of Humanities, AGH University of Krakow(人文学院,克拉科夫AGH大学)