机构
*
Sber AI
;
Moscow Institute of Physics and Technology(莫斯科物理技术学院)
;
National University of Science and Technology MISIS(莫斯科国立科学技术大学MISIS)
;
Skolkovo Institute of Science and Technology(斯科尔科沃科学技术研究所)
;
Artificial Intelligence Research Institute(人工智能研究所)
The Ignition Is Real, and It Lives at the Readout: Latent composition, difficulty-clocked ignition, and the interface-constituted commit in a recurrent-depth reasoner
机构
*
Department of Computer Science, University of California, Davis, Davis, CA, U.S.A.(加州大学戴维斯分校计算机科学系)
;
Department of Electrical and Computer Engineering, University of California, Davis, Davis, CA, U.S.A.(加州大学戴维斯分校电气与计算机工程系)
Parameter Efficient Hybrid Transformer (PEHT) for Network Traffic Prediction via Dynamic Urban Congestion Integration
参数高效混合Transformer(PEHT)用于通过动态城市拥堵整合进行网络流量预测
Abdolazim Rezaei, Mehdi Sookhak, Mahboobeh Haghparast
机构
*
National Science Foundation(国家科学基金会)
;
U.S. Department of Transportation(美国交通部)
;
University Transportation Center (UTC)(大学交通中心)
;
Transportation Cybersecurity Center for Advanced Research and Education (CYBER-CARE)(交通网络安全高级研究与教育中心)
;
NVIDIA Academic Grant Program(NVIDIA学术资助计划)
机构
*
Ningbo Institute of Digital Twin, Eastern Institute of Technology(宁波数字孪生研究院,东方理工大学)
;
Department of Computing, The Hong Kong Polytechnic University(香港理工大学计算学系)
CommentsPublished at 18th NASA Formal Methods Symposium (NFM 2026)
Journal refIn: Deshmukh, J., Havelund, K., Pinto, A. (eds) NASA Formal Methods. NFM 2026. Lecture Notes in Computer Science, vol 16622. Springer, Cham, pp. 415-435
I'm Sorry Driver, I'm Afraid I Can't Do That: Appraising the Safety of LLMs within Automotive Contexts
抱歉,司机,恐怕我不能这么做:评估LLMs在汽车环境中的安全性
Shaun Feakins, Ibrahim Habli, Kim Littler, Robert Palin
机构
*
UKRI AI Centre for Doctoral Training in Safe Artificial Intelligence Systems (SAINTS)(英国研究理事会安全人工智能系统博士培训中心(SAINTS))
;
University of York(约克大学)
;
Jaguar Land Rover(捷克·陆罗恩)
机构
*
School of Computer Science, Wuhan University(武汉大学计算机学院)
;
School of Computer Science, Central China Normal University(中央师范大学计算机学院)
;
School of Computing Technologies, RMIT University(皇家墨尔本理工大学计算技术学院)
myMediWhisper: Construction of Burmese Medical Speech Corpus and Whisper Fine-Tuning for Clinical Dialogue ASR
myMediWhisper:缅甸医疗语音语料库的构建及面向临床对话自动语音识别的Whisper微调
Ye Kyaw Thu, Ye Bhone Lin, Thura Aung, Htet Arkar, Myat Oo Swe, Thet Htet San, Min Thiha Tun, Thazin Myint Oo, Thepchai Supnithi
机构
*
National Electronics and Computer Technology Center (NECTEC)(国家电子与计算机技术中心)
;
King Mongkut’s University of Technology Thonburi(国王蒙固科技大学吞武里分校)
;
King Mongkut’s Institute of Technology Ladkrabang(国王蒙固科技学院叻甲邦分校)
What Keeps Agent Skills from Being Reusable? Evidence from 138K SKILL.md Files
是什么阻碍了智能体技能的可复用性?来自13.8万个SKILL.md文件的证据
Chi Zhang, Yimin Liu, Xinze Chen, Ping Ji
机构
*
The Graduate Center, City University of New York(纽约城市大学研究生中心)
;
The Ohio State University(俄亥俄州立大学)
;
Hunter College, City University of New York(纽约城市大学亨特学院)