Toward Secure and Reliable PDDL Formalization of Large Language Models with Planner-in-the-Loop Feedback
面向具有规划器反馈的大型语言模型的安全可靠PDDL形式化
Jiamei Jiang, Jiajing Zhang, Feifei Mo, Linjing Li, Daniel Zeng
机构
*
State Key Laboratory of Multimodal Artificial Intelligence Systems, Institute of Automation, Chinese Academy of Sciences(多模态人工智能系统国家重点实验室,自动化研究所,中国科学院)
;
School of Artificial Intelligence, University of Chinese Academy of Sciences(中国科学院大学人工智能学院)
;
School of Industry-education Integration, University of Chinese Academy of Sciences(中国科学院大学产教融合学院)
专题命中
效率与部署
:large language model(title,abstract);language model(title,abstract);LLM(summary_cn,abstract_cn);preference optimization(abstract)
机构
*
Beijing Normal-Hong Kong Baptist University(北京师范大学-香港浸会大学)
;
Guangdong Key Lab of AI and Multi-modal Data Processing(广东省人工智能与多模态数据处理重点实验室)
;
Institute of Artificial Intelligence and Future Networks(人工智能与未来网络研究院)
;
Engineering Center of AI and Future Education(人工智能与未来教育工程中心)
;
Guangdong Provincial Department of Science and Technology(广东省科学技术厅)
;
Zhuhai Science-Tech Innovation Bureau(珠海市科技创新局)
;
Beijing Normal University at Zhuhai(北京师范大学珠海校区)
专题命中
效率与部署
:LLM(summary_cn,abstract);SLM(summary_cn,abstract);large language model(abstract);language model(abstract)
Discovering heuristics in a complex SAT solver with large language models
利用大型语言模型发现复杂SAT求解器中的启发式策略
Yiwen Sun, Furong Ye, Zhihan Chen, Ke Wei, Shaowei Cai
机构
*
School of Data Science, Fudan University, Shanghai, China(复旦大学数据科学学院,上海,中国)
;
Key Laboratory of System Software, Institute of Software, Chinese Academy of Sciences, Beijing, China(中国科学院软件研究所系统软件重点实验室,北京,中国)
;
SeedMath Technology Limited, Beijing, China(SeedMath技术有限公司,北京,中国)
专题命中
效率与部署
:LLM(summary_cn,abstract);large language model(title,abstract);language model(title,abstract);分类 cs.AI
机构
*
School of Informatics, Xiamen University, Xiamen, China(信息学院,厦门大学,厦门)
;
School of Film, Xiamen University, Xiamen, China(电影学院,厦门大学,厦门)
;
Key Laboratory of Digital Protection and Intelligent Processing of Intangible Cultural Heritage of Fujian and Taiwan, Ministry of Culture and Tourism, Xiamen University, Xiamen, China(福建省和台湾非物质文化遗产数字保护与智能处理重点实验室,文化和旅游部,厦门大学,厦门)
;
Institute of Artificial Intelligence, Xiamen University, Xiamen, China(人工智能学院,厦门大学,厦门)
;
School of Computer and Data Science, Minjiang University, Fuzhou, China(计算机与数据科学学院,闽江大学,福州)
专题命中
效率与部署
:LLM(summary_cn,abstract);large language model(title,abstract);language model(title,abstract);分类 cs.CL
Large Language Models in Transportation Systems Management and Operations: From Text Reasoning to Multi-modal Decision Support
交通系统管理与运营中的大语言模型:从文本推理到多模态决策支持
Siyan Li, Zehao Wang, Jiachen Li, Kanok Boriboonsomsin, Matthew J. Barth, Guoyuan Wu
机构
*
Bourns College of Engineering, Center for Environmental Research and Technology, University of California at Riverside, CA, USA(伯恩斯工程学院,环境研究与技术中心,加州大学河滨分校,美国,加利福尼亚州河滨)
专题命中
效率与部署
:LLM(summary_cn,abstract);large language model(title,abstract);language model(title,abstract);分类 cs.AI
Intelligent Detection and Mitigation of Carpet-Bombing DDoS Attacks in SDN Using Retrieval-Augmented Generation and Large Language Models
基于检索增强生成和大语言模型的SDN中地毯式轰炸DDoS攻击的智能检测与缓解
Mohammed N. Swileh, Shengli Zhang, Kai Lei
机构
*
College of Electronics and Information Engineering, Shenzhen University(深圳大学电子与信息工程学院)
;
ICNLab, Shenzhen Graduate School, Peking University(北京大学深圳研究生院ICN实验室)
专题命中
效率与部署
:LLM(summary_cn,abstract);large language model(title,abstract);language model(title,abstract);分类 cs.AI
Comments4 pages, 1 figure, accepted to The 2nd International Workshop on Large Language Model Supply Chain Analysis (LLMSC2026) co-located with FSE 2026
Comments49 pages. Includes a Python package for BSM model building via LLM chat from user-specified particle quantum numbers. Code: https://github.com/saad-hep/bsm_agent
EPTS: Elastic Post-Training Sparsity for Efficient Large Language Model Compression
EPTS:弹性后训练稀疏性用于高效大型语言模型压缩
Ke Xu, Jiaqi Wan, Wenhao Hu, Han Pu, Xiaoyun Wang
机构
*
School of Artificial Intelligence(人工智能学院)
;
Anhui University(安徽大学)
;
School of Computer Science and Technology(计算机科学与技术学院)
;
Tiangong University(天工大学)
专题命中
效率与部署
:large language model(title,abstract);language model(title,abstract);post-training(title,abstract);分类 cs.AI、cs.LG
机构
*
Computer Network Information Center, Chinese Academy of Sciences(中国科学院计算机网络信息中心)
;
University of Chinese Academy of Sciences(中国科学院大学)
;
Hangzhou Institute for Advanced Study, University of Chinese Academy of Sciences(中国科学院大学杭州高等研究院)
;
School of Computing and Information Technology, Great Bay University(大湾区大学计算机科学与技术学院)
;
School of Engineering, Westlake University(西湖大学工学院)
专题命中
效率与部署
:LLM(title,title_cn);large language model(abstract);language model(abstract);分类 cs.AI、cs.LG