CoEvo: Continual Evolution of Symbolic Solutions Using Large Language Models
专题命中 推理与问题求解 :large language model(title,abstract);language model(title,abstract);LLM(abstract);分类 cs.AI、cs.LG
Comments Camera ready version for AAAI 2026
AI 大模型
大语言模型、预训练、指令微调、后训练和语言模型应用。
专题命中 推理与问题求解 :large language model(title,abstract);language model(title,abstract);LLM(abstract);分类 cs.AI、cs.LG
Comments Camera ready version for AAAI 2026
机构 * Department of Computer Science and Information Systems(计算机科学与信息系统系)
专题命中 推理与问题求解 :large language model(title,abstract);language model(title,abstract);prompting(abstract);分类 cs.CL、cs.AI
机构 * School of Environmental, Civil, Agricultural, and Mechanical Engineering(环境、土木、农业和机械工程学院) ; University of Georgia(佐治亚大学)
专题命中 推理与问题求解 :large language model(title,abstract);language model(title,abstract);LLM(abstract);分类 cs.AI
Comments 7 pages
机构 * Algoverse AI Research(Algoverse AI研究)
专题命中 推理与问题求解 :large language model(title,abstract);language model(title,abstract);LLM(abstract);分类 cs.CL
专题命中 推理与问题求解 :large language model(title,abstract);language model(title,abstract);分类 cs.CL
Comments 9 pages, 5 figures
机构 * Department of Computer Science, City University of Hong Kong(香港城市大学计算机科学系) ; City University of Hong Kong Shenzhen Research Institute(香港城市大学深圳研究院) ; Huawei Noah’s Ark Lab, Hong Kong SAR(华为诺亚实验室(香港特别行政区)) ; University of Hong Kong(香港大学) ; Hong Kong University of Science and Technology (Guangzhou)(香港科学与技术大学(广州))
专题命中 推理与问题求解 :large language model(title,abstract);language model(title,abstract);分类 cs.CL
机构 * College of Intelligent Engineering and Automation, Beijing University of Posts and Telecommunications(智能工程与自动化学院,北京邮电大学)
专题命中 推理与问题求解 :LLM(title,abstract);large language model(abstract);language model(abstract)
机构 * Amazon Web Services(亚马逊网络服务)
专题命中 推理与问题求解 :LLM(abstract);large language model(abstract);language model(abstract);prompting(abstract)
Comments v2: Two TMLR revision rounds addressing reviewer feedback. Added real-world validation (3.4), interpretability analysis (7), computational hallucination framework, strengthened theory. v3: Sec 3.2 - added transformer architecture diagram, clarified UAT capacity vs computational limits, improved role specialization theorem presentation
机构 * Université de Montréal(蒙特利尔大学) ; Mila – Quebec AI Institute(魁北克人工智能研究所) ; Capital One(Capital One公司)
专题命中 推理与问题求解 :LLM(abstract);large language model(abstract);language model(abstract);分类 cs.CL、cs.AI、cs.LG
专题命中 推理与问题求解 :language model(title,abstract);分类 cs.AI
Comments Associated with the 22nd International Conference on Principles of Knowledge Representation and Reasoning (KR 2025) in Melbourne, Australia
机构 * University of Maryland, College Park, USA(马里兰大学 College Park 分校) ; Dolby Laboratories(杜比实验室)
专题命中 推理与问题求解 :language model(title,abstract);分类 cs.AI
Comments Project: https://sakshi113.github.io/spur/
机构 * Ulm University(乌尔姆大学) ; Carl Zeiss SMT GmbH(卡尔蔡司SMT有限公司) ; Department of Software Engineering, Faculty of Mathematics and Physics(数学与物理系软件工程系) ; Charles University(查尔斯大学) ; TU Wien(维也纳技术大学) ; Leibniz University of Hannover(汉诺威莱布尼茨大学) ; TIB-Leibniz Information Centre for Science and Technology(莱布尼茨科学与技术信息中心)
专题命中 推理与问题求解 :language model(title,abstract);分类 cs.AI
Comments Extended Version 2025-11-11 of TGDK 2(1): 3:1-3:37 (2024) If you like to contribute, please contact the first author and visit: https://github.com/ascherp/semantic-web-primer Please cite this paper as, see https://dblp.org/rec/journals/tgdk/ScherpG0HV24.html?view=bibtex
Journal ref TGDK 2(1): 3:1-3:37 (2024)
专题命中 推理与问题求解 :LLM(abstract);large language model(abstract);language model(abstract);分类 cs.CL、cs.AI
Comments AAAI 2026, Project website: https://zunwang1.github.io/DreamRunner
机构 * University of Southern California(南加州大学)
专题命中 推理与问题求解 :language model(title,abstract)
机构 * University of Texas at San Antonio(德克萨斯大学圣安东尼奥分校)
专题命中 推理与问题求解 :large language model(abstract);language model(abstract);prompting(abstract);分类 cs.CL
Comments Accepted to AACL 2025
专题命中 推理与问题求解 :large language model(abstract);language model(abstract);foundation model(abstract)
Comments 15 pages, 5 figures
机构 * University of Göttingen(哥廷根大学)
专题命中 推理与问题求解 :large language model(abstract);language model(abstract);分类 cs.CL、cs.AI
Comments Accepted at EMNLP 2025
机构 * PrismaX Team Shanghai Artificial Intelligence Laboratory(普斯玛X团队上海人工智能实验室)
专题命中 推理与问题求解 :large language model(abstract);language model(abstract);分类 cs.CL、cs.AI
Comments 82 pages
专题命中 推理与问题求解 :large language model(abstract);language model(abstract);分类 cs.AI
机构 * Tencent Hunyuan Team(腾讯文言团队)
专题命中 推理与问题求解 :large language model(abstract);language model(abstract);分类 cs.AI
Comments 10 pages
专题命中 推理与问题求解 :large language model(abstract);language model(abstract);分类 cs.CL
机构 * NTT Human Informatics Labs.(NTT人机信息实验室) ; NTT, Inc.(NTT公司)
专题命中 推理与问题求解 :large language model(abstract);language model(abstract);分类 cs.CL
Comments 8 pages
专题命中 推理与问题求解 :large language model(abstract);language model(abstract)
专题命中 推理与问题求解 :LLM(abstract);prompting(abstract)
Comments 9 pages, 3 figures,submitted to AAMAS 2026
专题命中 推理与问题求解 :LLM(abstract);分类 cs.CL、cs.AI
Comments Accepted to AAAI 2026. Extended version with full Appendix
专题命中 推理与问题求解 :LLM(abstract);分类 cs.AI
机构 * The Alan Turing Institute(艾伦·图灵研究所)
专题命中 推理与问题求解 :language model(abstract);分类 cs.AI
机构 * University of Texas at Austin(德克萨斯大学奥斯汀分校) ; Google DeepMind(谷歌DeepMind) ; Google(谷歌) ; Meta Platforms(元平台)
专题命中 推理与问题求解 :LLM(abstract);分类 cs.LG
Comments 43 pages
机构 * National University of Singapore(新加坡国立大学) ; Tencent Youtu Lab(腾讯优图实验室) ; Tsinghua University(清华大学) ; University of Science and Technology of China(中国科学技术大学) ; Nanyang Technological University(南洋理工大学) ; Zhejiang University(浙江大学) ; DeepWisdom(深智科技)
专题命中 推理与问题求解 :language model(abstract);分类 cs.AI
机构 * Indian Institute of Technology Bombay(印度理工学院班加罗尔) ; IBM Research India(IBM印度研究)
专题命中 推理与问题求解 :preference optimization(abstract)