EvoSpeak: Large Language Models for Interpretable Genetic Programming-Evolved Heuristics
Meng Xu, Jiao Liu, Yew Soon Ong
机构
*
Singapore Institute of Manufacturing Technology, Agency for Science, Technology and Research, Singapore（新加坡制造技术研究所，科技研究局，新加坡）
；
College of Computing & Data Science, Nanyang Technological University, Singapore（南洋理工大学计算机与数据科学学院，新加坡）
；
College of Computing and Data Science, Nanyang Technological University, and the Centre for Frontier AI Research, Institute of High Performance Computing, Agency for Science, Technology and Research, Singapore（南洋理工大学计算机与数据科学学院，前沿人工智能研究中心，高性能计算研究所，科技研究局，新加坡）
机构
*
School of Advanced Manufacturing and Robotics, Peking University（先进制造与机器人学院，北京大学）
；
Department of Computer Science and Engineering, School of Engineering, The Hong Kong University of Science and Technology（计算机科学与工程系，香港科技大学）
；
School of Computer Science and Technology, Huazhong University of Science and Technology（计算机科学与技术学院，华中科技大学）
专题命中
逻辑推理
：planning(abstract)；分类 cs.AI
CommentsAccepted for publication in IEEE Transactions on Automation Science and Engineering
From Neural Networks to Logical Theories: The Correspondence between Fibring Modal Logics and Fibring Neural Networks
Ouns El Harzli, Bernardo Cuenca Grau, Artur d'Avila Garcez, Ian Horrocks, Tarek R. Besold
机构
*
Department of Computer Science, University of Oxford（牛津大学计算机科学系）
；
Sony AI Barcelona（巴塞罗那索尼人工智能实验室）
；
Sony AI Tokyo（东京索尼人工智能实验室）
；
City St George’s, University of London（伦敦大学城圣乔治学院）
ABC-Eval: Benchmarking Large Language Models on Symbolic Music Understanding and Instruction Following
Jiahao Zhao, Yunjia Li, Wei Li, Kazuyoshi Yoshii
机构
*
Graduate School of Informatics, Kyoto University, Japan（京都大学信息科学研究生院）
；
College of Computer Science and Artificial Intelligence, Fudan University, China（复旦大学计算机科学与人工智能学院）
；
Graduate School of Engineering, Kyoto University, Japan（京都大学工学研究科）
机构
*
Jiutian Artificial Intelligence Research Institute, China Mobile, Beijing, China（九天人工智能研究院，中国移动，北京）
；
The State Key Laboratory of Multimedia Information Processing, Peking University, Beijing, China（多媒体信息处理国家重点实验室，北京大学，北京）
Visionerves: Automatic and Reproducible Hybrid AI for Peripheral Nervous System Recognition Applied to Endometriosis Cases
Giammarco La Barbera, Enzo Bonnot, Thomas Isla, Juan Pablo de la Plata, Joy-Rose Dunoyer de Segonzac, Jennifer Attali, Cécile Lozach, Alexandre Bellucci, Louis Marcellin, Laure Fournier, Sabine Sarnacki, Pietro Gori, Isabelle Bloch
机构
*
IMAG2, Institut Imagine, Université Paris Cité, France（IMAG2研究所，Imagine机构，巴黎cité大学，法国）
；
Replico SAS, Paris, France（Replico SAS公司，巴黎，法国）
；
LTCI, Télécom Paris, Institut Polytechnique de Paris, France（LTCI研究所，巴黎电信学院，巴黎高等理工学院，法国）
；
Université Paris Cité, Department of Pediatric Imaging, Hôpital Necker Enfants-Malades, Assistance Publique-Hôpitaux de Paris (AP-HP), France（巴黎cité大学，儿科影像部门，Necker儿童医院，巴黎公共医院（AP-HP），法国）
；
Université Paris Cité, Department of Radiology, Hôpital Européen Georges Pompidou, AP-HP, France（巴黎cité大学，放射学部门，乔治·蓬皮杜欧洲医院，巴黎公共医院（AP-HP），法国）
；
Université Paris Cité, Department of Gynecological Surgery and Oncology (Professor Chapron), Hôpital Cochin, AP-HP, France（巴黎cité大学，妇科外科与肿瘤学部门（教授Chapron），科医院，巴黎公共医院（AP-HP），法国）
；
Department of Development, Reproduction and Cancer (Professor Batteux), Institut Cochin, Paris, France（发展、繁殖和癌症部门（教授Batteux），科医院，巴黎，法国）
；
Université Paris Cité, Department of Pediatric Surgery, Hôpital Necker Enfants-Malades, AP-HP, France（巴黎cité大学，儿科外科部门，Necker儿童医院，巴黎公共医院（AP-HP），法国）
；
Sorbonne Université, CNRS, LIP6, Paris（索邦大学，国家科学研究中心，LIP6研究所，巴黎）
专题命中
逻辑推理
：reasoning(abstract)；分类 cs.AI
CommentsComputer-Aided Pelvic Imaging for Female Health (CAPI) - Workshop MICCAI 2025
ATLANTIS: AI-driven Threat Localization, Analysis, and Triage Intelligence System
Taesoo Kim, HyungSeok Han, Soyeon Park, Dae R. Jeong, Dohyeok Kim, Dongkwan Kim, Eunsoo Kim, Jiho Kim, Joshua Wang, Kangsu Kim, Sangwoo Ji, Woosun Song, Hanqing Zhao, Andrew Chin, Gyejin Lee, Kevin Stevens, Mansour Alharthi, Yizhuo Zhai, Cen Zhang, Joonun Jang, Yeongjin Jang, Ammar Askar, Dongju Kim, Fabian Fleischer, Jeongin Cho, Junsik Kim, Kyungjoon Ko, Insu Yun, Sangdon Park, Dowoo Baik, Haein Lee, Hyeon Heo, Minjae Gwon, Minjae Lee, Minwoo Baek, Seunggi Min, Wonyoung Kim, Yonghwi Jin, Younggi Park, Yunjae Choi, Jinho Jung, Gwanhyun Lee, Junyoung Jang, Kyuheon Kim, Yeonghyeon Cha, Youngjoon Kim
专题命中
逻辑推理
：reasoning(abstract)；分类 cs.AI
CommentsVersion 1.0 (September 17, 2025). Technical Report. Team Atlanta -- 1st place in DARPA AIxCC Final Competition. Project page: https://team-atlanta.github.io/
Lagrangian Relaxation for Multi-Action Partially Observable Restless Bandits: Heuristic Policies and Indexability
Rahul Meshram, Kesav Kaza
机构
*
Department of Electrical Engineering, Indian Institute of Technology Madras（印度理工学院马德拉斯分校电子工程系）
；
Department of Electrical Engineering and Computer Science, University of Ottawa（渥太华大学电子工程与计算机科学系）
Source Code Summarization in the Era of Large Language Models
Weisong Sun, Yun Miao, Yuekang Li, Hongyu Zhang, Chunrong Fang, Yi Liu, Gelei Deng, Yang Liu, Zhenyu Chen
机构
*
College of Computing and Data Science, Nanyang Technological University Singapore（计算与数据科学学院，新加坡南洋理工大学）
；
State Key Laboratory for Novel Software Technology, Nanjing University（新型软件技术国家重点实验室，南京大学）
；
School of Computer Science and Engineering, University of New South Wales（计算机科学与工程学院，新南威尔士大学）
；
School of Big Data and Software Engineering, Chongqing University（大数据与软件工程学院，重庆大学）
专题命中
逻辑推理
：chain-of-thought(abstract)；分类 cs.AI
CommentsAccepted to the 47th International Conference on Software Engineering (ICSE 2025)
机构
*
Department of Computing, Imperial College London, London, UK（计算系，伦敦帝国学院，伦敦，英国）
；
Department of Life Sciences, Imperial College London, London, UK（生命科学系，伦敦帝国学院，伦敦，英国）
Integrating Neurosymbolic AI in Advanced Air Mobility: A Comprehensive Survey
Kamal Acharya, Iman Sharifi, Mehul Lad, Liang Sun, Houbing Song
机构
*
Department of Information Systems, University of Maryland, Baltimore County（信息系统系，马里兰大学巴尔的摩分校）
；
Department of Mechanical and Aerospace Engineering, The George Washington University（机械与航空航天工程系，乔治华盛顿大学）
；
Department of Mechanical Engineering, Baylor University（机械工程系，贝勒大学）
