A Constrained Natural-Language Interface for Variational Multi-Physics Finite Element Simulations in FEniCS
FEniCS中变分多物理场有限元模拟的受约束自然语言接口
Nilay Upadhyay, Wesley F. Reinhart
机构
*
Department of Engineering Science and Mechanics, The Pennsylvania State University(工程科学与力学系,宾夕法尼亚州立大学)
;
Department of Materials Science and Engineering, The Pennsylvania State University(材料科学与工程系,宾夕法尼亚州立大学)
CommentsSubmitted to ACM Transactions on Software Engineering Methodology (TOSEM). A shorter version of this work has been presented at ICSE-JAWs 2026, Rio de Janeiro, Brazil
CASS-RTL: Correctness-Aware Subspace Steering for RTL Generation with LLMs
CASS-RTL:面向LLM的RTL生成的正确性感知子空间引导
Mohammad Akyash, Nowfel Mashnoor, Kimia Azar, Hadi Kamali
机构
*
Department of Electrical and Computer Engineering (ECE), University of Central Florida, Orlando, FL 32816, USA(电子与计算机工程系,中央佛罗里达大学,奥兰多,佛罗里达州32816,美国)
IaC Generation with LLMs: An Error Taxonomy and A Study on Configuration Knowledge Injection
利用LLM生成IaC:错误分类法与配置知识注入研究
Roman Nekrasov, Stefano Fossati, Indika Kumara, Damian Andrew Tamburri, Willem-Jan van den Heuvel
机构
*
Jheronimus Academy of Data Science(Jheronimus数据科学学院)
;
Tilburg University(蒂尔堡大学)
;
Eindhoven University of Technology(埃因霍温理工大学)
;
University of Sannio(萨诺尼大学)
CodegenBench: Can LLMs Write Efficient Code Across Architectures?
CodegenBench: 大型语言模型能否跨架构编写高效代码?
Jie Li, Wenzhao Wu, Junqi Hu, Qinrui Zheng, Bowen Wu, Juepeng Zheng, Yutong Lu, Haohuan Fu
机构
*
Sun Yat-sen University(中山大学)
;
National Supercomputing Center in Wuxi(无锡国家超级计算机中心)
;
National Supercomputing Center in Shenzhen(深圳国家超级计算机中心)
;
University of the Chinese Academy of Sciences(中国科学院大学)
;
Tsinghua Shenzhen International Graduate School(清华大学深圳国际研究生院)
MOSAIC: Modular Orchestration for Structured Agentic Intelligence and Composition
MOSAIC:结构化智能体智能与组合的模块化编排
Yifan Bao, Xinyu Xi, Xinyu Liu, Wen Ge, Lei Jiang, Kevin Zhang, Raad Khraishi, Yihao Ang, Anthony K. H. Tung, Lukasz Szpruch, Hao Ni
机构
*
Department of Computer Science, National University of Singapore(新加坡国立大学计算机科学系)
;
University College London(伦敦大学学院)
;
University of Edinburgh(爱丁堡大学)
;
Data & Analytics, Digital X(Digital X 数据与分析部)
;
Alan Turing Institute(艾伦·图灵研究所)
KernelCraft: Benchmarking for Agentic Close-to-Metal Kernel Generation on Emerging Hardware
KernelCraft: 面向新兴硬件的近底层内核生成的智能体基准测试
Jiayi Nie, Haoran Wu, Yao Lai, Zeyu Cao, Cheng Zhang, Binglei Lou, Erwei Wang, Jianyi Cheng, Timothy M. Jones, Robert Mullins, Rika Antonova, Yiren Zhao
机构
*
Department of Computer Science and Technology, University of Cambridge, Cambridge, United Kingdom(计算机科学与技术系,剑桥大学,剑桥,英国)
;
Department of Electrical and Electronic Engineering, Imperial College London, London, United Kingdom(电气与电子工程系,伦敦帝国理工学院,伦敦,英国)
;
School of Informatics, University of Edinburgh, Edinburgh, United Kingdom(信息学院,爱丁堡大学,爱丁堡,英国)
机构
*
Department of Computing, The Hong Kong Polytechnic University, Hong Kong, China(香港理工大学计算机系)
;
Department of Control Science and Engineering, Zhejiang University(浙江大学控制科学与工程学院)
Understanding the Fundamental Design Decisions of Retrieval-Augmented Generation Systems
理解检索增强生成系统的基本设计决策
Shengming Zhao, Yuchen Shao, Yuheng Huang, Jiayang Song, Zhijie Wang, Chengcheng Wan, Lei Ma
机构
*
Fudan University(复旦大学)
;
East China Normal University(华东师范大学)
;
Shanghai Innovation Institute(上海创新研究院)
;
The University of Tokyo(东京大学)
;
Macau University of Science and Technology(澳门科学理工学院)
;
Concordia University(Concordia大学)
;
University of Alberta(阿尔伯塔大学)
;
The University of Tokyo, Japan(日本东京大学)
机构
*
National Key Laboratory for Novel Software Technology(新型软件技术国家重点实验室)
;
Artificial Intelligence Research Institute(人工智能研究院)
;
Shenzhen Institutes of Advanced Technology(深圳先进技术研究院)
;
University of California, Santa Cruz(加州大学圣克鲁兹分校)
;
University of Texas, Dallas(德克萨斯大学达拉斯分校)
;
University of Minnesota(明尼苏达大学)
机构
*
The Chinese University of Hong Kong(香港中文大学)
;
Peking University(北京大学)
;
Tsinghua University(清华大学)
;
University of the Chinese Academy of Sciences(中国科学院大学)