NOETHER: A Constructive Framework for Metamorphic Pattern Discovery from Operator Algebras
NOETHER:从算子代数中构造性地发现元模式的框架
Meng Li, Xiaohua Yang, Jie Liu, Shiyu Yan
机构
*
School of Computing, University of South China(南华大学计算机学院)
;
Hunan Engineering Research Center of Software Evaluation and Testing for Intellectual Equipment(湖南软件测评与智能设备工程研究中心)
;
CNNC Key Laboratory on High Trusted Computing(中核集团高可信计算重点实验室)
Comments71 pages, 18 tables, 1 figure. Under review at ACM Transactions on Software Engineering and Methodology. Supplementary materials (algorithm reference implementation, 84-MR PWR corpus, SE(3) case study harness, three-tier METRIC+ replication) at https://github.com/meng004/P1-MetaPattern
机构
*
School of Software Engineering, Xi’an Jiaotong University(西安交通大学软件工程学院)
;
School of Computer Science and Information Engineering, Hefei University of Technology(合肥工业大学计算机科学与信息工程学院)
;
CSIRO(澳大利亚联邦科学与工业研究组织)
;
Northwestern Polytechnical University(西北工业大学)
;
University of Macau(澳门大学)
Trustworthiness in Retrieval-Augmented Generation Systems: A Survey
检索增强生成系统中的可信度:综述
Yujia Zhou, Wenbo Zhang, Jingying Shao, Yan Liu, Xiaoxi Li, Jiajie Jin, Hongjin Qian, Zheng Liu, Chaozhuo Li, Jason Chen Zhang, Zhicheng Dou, Philip S. Yu, Jiaxin Mao
机构
*
Tsinghua University(清华大学)
;
Renmin University of China(中国人民大学)
;
The Chinese University of Hong Kong(香港中文大学)
;
Beijing Academy of Artificial Intelligence(北京人工智能研究院)
;
Hong Kong Polytechnic University(香港理工大学)
;
Microsoft Research Asia(微软亚洲研究院)
;
University of Illinois(伊利诺伊大学)
AtlasVA: Self-Evolving Visual Skill Memory for Teacher-Free VLM Agents
AtlasVA: 无教师视觉技能记忆用于无需教师的VLM代理
Pan Wang, Yihao Hu, Xiujin Liu, Jingchu Yang, Hang Wang, Zhihao Wen
机构
*
Ant Group(蚂蚁集团)
;
University of Science and Technology of China(中国科学技术大学)
;
Westlake University(西湖大学)
;
University of Michigan - Ann Arbor(密歇根大学-安娜堡分校)
;
Sun Yat-sen University(中山大学)
机构
*
Center for Advanced Robotics Technology Innovation (CARTIN), School of Electrical and Electronic Engineering, Nanyang Technological University(先进机器人技术与创新中心(CARTIN)、电子工程学院、南洋理工大学)
;
Spatial AI & Robotics Lab, Department of Computer Science and Engineering(空间人工智能与机器人实验室、计算机科学与工程系)
机构
*
Department of Mechanical Engineering, Stanford University(斯坦福大学机械工程系)
;
Department of Aeronautics and Astronautics, Stanford University(斯坦福大学航空航天工程系)
Robo-Cortex: A Self-Evolving Embodied Agent via Dual-Grain Cognitive Memory and Autonomous Knowledge Induction
Robo-Cortex: 通过双粒认知记忆和自主知识诱导实现自我进化具身智能体
Nga Teng Chan, Yi Zhang, Yechi Liu, Renwen Cui, Fanhu Zeng, Zeyuan Ding, Xiancong Ren, Zhang Zhang, Qifeng Chen, Jian Liu, Yong Dai, Xiaozhu Ju
机构
*
The Hong Kong University of Science and Technology(香港科学与技术大学)
;
X-Humanoid
;
Institute of Automation, CAS(中国科学院自动化研究所)
;
Beijing University of Aeronautics and Astronautics(北京航空航天大学)
机构
*
TAMS (Technical Aspects of Multimodal Systems), Department of Informatics, University of Hamburg(汉堡大学信息学院TAMS(多模态系统技术))
;
Technical University of Munich(慕尼黑技术大学)
;
Agile Robots SE(敏捷机器人有限公司)
专题命中
GUI与屏幕智能体
:vision language model(abstract);分类 cs.CV、cs.AI
LightZeroNav: Zero-Shot Vision Language Navigation in Continuous Environments Based on Lightweight VLMs
LightZeroNav: 基于轻量级VLMs的连续环境中零样本视觉语言导航
Kun Luo, Xiangyu Dong, Xiaoguang Ma, Haoran Zhao, Yaoming Zhou
机构
*
Foshan Graduate School of Innovation, Northeastern University(创新研究生院,东北大学)
;
Faculty of Robot Science and Engineering, Northeastern University(机器人科学与工程学院,东北大学)
;
School of Aeronautic Science and Engineering, Beihang University(航空科学与工程学院,北航)
;
QingniaoAI, China(清北AI,中国)
机构
*
College of Information Science and Technology, Beijing University of Chemical Technology(北京化工大学信息科学与技术学院)
;
Institute for AI Industry Research (AIR), Tsinghua University(清华大学人工智能产业研究院)
;
Institute of Systems Engineering and Collaborative Laboratory for Intelligent Science and Systems, Macau University of Science and Technology(澳门大学系统工程与智能科学与系统联合实验室)
;
School of Vehicle and Mobility, Tsinghua University(清华大学车辆与移动系统学院)
VISOR: A Vision-Language Model-based Test Oracle for Testing Robots
VISOR:基于视觉-语言模型的机器人测试 oracle
Prasun Saurabh, Pablo Valle, Aitor Arrieta, Shaukat Ali, Paolo Arcaini
机构
*
Simula Research Laboratory(Simula研究实验室)
;
Oslo Metropolitan University(奥斯陆理工大学)
;
Mondragon University(蒙dragon大学)
;
National Institute of Informatics(国立信息研究所)
On the Adversarial Robustness of Large Vision-Language Models under Visual Token Compression
大型视觉-语言模型在视觉标记压缩下的对抗鲁棒性研究
Xinwei Zhang, Hangcheng Liu, Li Bai, Hao Wang, Qingqing Ye, Tianwei Zhang, Haibo Hu
机构
*
The Hong Kong Polytechnic University, Hong Kong(香港理工大学)
;
Nanyang Technological University, Singapore(南洋理工大学)
;
Chongqing University, Chongqing, China(重庆大学)
;
Research Centre for Privacy and Security Technologies in Future Smart Systems, PolyU(未来智能系统中的隐私与安全技术研究中心)