Hardware-Enforced Semantic Coordination for Safety-Critical Real-Time Autonomous Systems
面向安全关键实时自主系统的硬件强制语义协调
Uwe M. Borghoff, Paolo Bottoni, Remo Pareschi
机构
*
Department of Computer Science University of the Bundeswehr Munich Neubiberg, Germany
;
Department of Computer Science Sapienza University of Rome Rome, Italy
;
STAKE Lab University of Molise Campobasso, Italy
Enhancing Fitness Intelligence through Domain-Specific LLM Post-Training
通过领域特定的大语言模型后训练增强健身智能
Xingtao Zhao, Tian Yang, Han Jiang
机构
*
School of Cyber Science and Technology(网络科学与技术学院)
;
Beihang University(北京航空航天大学)
;
School of Information(信息学院)
;
Renmin University of China(中国人民大学)
AGC-Bench: Measuring Artificial General Creativity
AGC-Bench:衡量人工通用创造力
Roger Beaty, Vijeta Deshpande, Clin K. Y. Lai, Anna Attuch, Namrata Shivagunde, Swastik Roy, Rajkumar Pujari, Paul V. DiStefano, Sherin Muckatira, Claire E. Stevenson, Mikhail Gronas, Anna Rumshisky
机构
*
Pennsylvania State University(宾夕法尼亚州立大学)
;
University of Massachusetts Lowell(马萨诸塞大学洛厄尔分校)
;
University of Amsterdam(阿姆斯特丹大学)
;
Amazon AGI(亚马逊AGI)
;
Dartmouth College(达特茅斯学院)
Beyond Activation Alignment:The Alignment-Diversity Tradeoff in Task-Aware LLM Quantization
超越激活对齐:任务感知的大语言模型量化中的对齐-多样性权衡
Fei Wang, Chao Xue, Taoran Liu, Li Shen, Ye Liu, ChangXing Ding
机构
*
South China University of Technology(华南理工大学)
;
Shenzhen Campus of Sun Yat-sen University(中山大学深圳校区)
;
Ocean University of China(中国海洋大学)
;
Center for AI Theoretical Foundation and Systems, Shenzhen Loop Area Institute(深圳环区研究所人工智能理论基础与系统中心)
VeriPilot: An LLM-Powered Verilog Debugging Framework
VeriPilot:一个基于LLM的Verilog调试框架
Yihan Wang, Cheng Liu, Jiazheng Zhang, Lei Zhang, Long Cheng, Xiaowei Li, Huawei Li
机构
*
State Key Lab of Processors, Institute of Computing Technology, Chinese Academy of Sciences(中国科学院计算技术研究所国家专用集成电路设计实验室)
;
University of Chinese Academy of Sciences(中国科学院大学)
;
North China Electric Power University(华北电力大学)
LLM-assisted gNB Parameter Configuration for Radio Access Network
LLM辅助的无线接入网gNB参数配置
Yao-Cong Dong, Maria Amparo Canaveras Galdon, Ari Uskudar, Kuntal Chowdhury, Edwin K. P. Chong, Ray-Guang Cheng
机构
*
Dept. of Electronic and Computer Engineering, National Taiwan University of Science and Technology, Taiwan(电子与计算机工程系,台湾科技大学)
;
NVIDIA, USA(NVIDIA公司)
;
Colorado State University, USA(科罗拉多州立大学)
MeEvo: Metacognitive Evolution Combined with Natural Evolution for Automatic Heuristic Design
MeEvo: 元认知进化与自然进化相结合用于自动启发式设计
Zishang Qiu, Xinan Chen, Rong Qu, Ruibin Bai
机构
*
School of Computer Science, University of Nottingham Ningbo China(诺丁汉大学宁波分校计算机科学学院)
;
School of Computer Science, University of Nottingham(诺丁汉大学计算机科学学院)
Querying an astronomical database using large language models: the ALeRCE text-to-SQL system
使用大语言模型查询天文数据库:ALeRCE文本到SQL系统
P. A. Estevez, J. Espejo-Moreira, S. Sanfeliu-Alvarez, F. Forster, A. M. Munoz Arancibia, G. Cabrera-Vives, F. E. Bauer, A. Bayo, M. Catelan, R. Dastidar, L. Hernandez-Garcia, J. A. Intriago, G. Pignata
机构
*
Department of Electrical Engineering, University of Chile, Av. Tupper 2007, Santiago, Chile Millennium Institute of Astrophysics (MAS), Nuncio Monseñor Sótero Sanz 100, Providencia, Santiago, Chile Data
;
Artificial Intelligence Initiative (ID\&IA), Universidad de Chile Center for Mathematical Modeling, Universidad de Chile, Beauchef 851, North building, 7th floor, Santiago 8320000, Chile Departamento de Astronom\'ia, Universidad de Chile, Casilla 36D, Santiago, Chile Department of Computer Science, Universidad de Concepción, Edmundo Larenas 219, Concepción, Chile Center for Data
;
Artificial Intelligence, Universidad de Concepción, Edmundo Larenas 310, Concepción, Chile Heidelberg Institute for Theoretical Studies, Heidelberg, Baden-Württemberg, Germany Instituto de Alta Investigación, Universidad de Tarapacá, Casilla 7D, Arica, 1010000, Chile European Southern Observatory, Karl-Schwarzschild-Strasse 2, 85748 Garching bei München, Germany Instituto de Astrofísica, Facultad de Física, Pontificia Universidad Católica de Chile, Casilla 306, Santiago 22, Chile Centro de Astroingeniería, Pontificia Universidad Católica de Chile, Av. Vicuña Mackenna 4860, 7820436 Macul, Santiago, Chile Instituto de Estudios Astrof\'isicos, Facultad de Ingenier\'ia y Ciencias, Universidad Diego Portales, Av. Ej\'ercito Libertador 441, Santiago, Chile Centro Interdisciplinario de Data Science, Facultad de Ingenier\'ia y Ciencias, Universidad Diego Portales, Av. Ej\'ercito Libertador 441, Santiago, Chile
专题命中
复杂问题求解
:self-correction(abstract);分类 cs.AI
AI总结
提出基于大语言模型的文本到SQL系统,通过上下文学习和逐步生成框架(模式链接、查询分类、提示分解、自纠正)实现自然语言查询天文数据库,在ALeRCE数据集上评估13个模型,Claude Opus 4.6等表现最佳。