中文
相关论文

相关论文: Abstraction Generation for Generalized Planning wi…

200 篇论文

Recent advances in Large Language Models (LLMs) have opened new perspectives for automation in optimization. While several studies have explored how LLMs can generate or solve optimization models, far less is understood about what these…

人工智能 · 计算机科学 2025-12-16 Francesca Da Ros , Luca Di Gaspero , Kevin Roitero

Compositional generalization is the ability of a model to generalize to complex, previously unseen types of combinations of entities from just having seen the primitives. This type of generalization is particularly relevant to the semantic…

计算与语言 · 计算机科学 2024-04-23 Amogh Mannekote

Large language models (LLMs) have revolutionized a large variety of NLP tasks. An active debate is to what extent they can do reasoning and planning. Prior work has assessed the latter in the specific context of PDDL planning, based on…

人工智能 · 计算机科学 2025-05-05 Katharina Stein , Daniel Fišer , Jörg Hoffmann , Alexander Koller

While large language models (LLMs) have recently demonstrated strong potential in solving planning problems, there is a trade-off between flexibility and complexity. LLMs, as zero-shot planners themselves, are still not capable of directly…

人工智能 · 计算机科学 2025-07-10 Yilun Hao , Yang Zhang , Chuchu Fan

This paper explores the potential of large language models (LLMs) for task automation in the provision of technical services in the production machinery sector. By focusing on text correction, summarization, and question answering, the…

综合经济学 · 经济学 2025-05-19 Jochen Wulf , Juerg Meierhofer

Qualitative analysis of textual contents unpacks rich and valuable information by assigning labels to the data. However, this process is often labor-intensive, particularly when working with large datasets. While recent AI-based tools…

计算与语言 · 计算机科学 2023-04-24 Ziang Xiao , Xingdi Yuan , Q. Vera Liao , Rania Abdelghani , Pierre-Yves Oudeyer

State-of-the-art supervised NLP models achieve high accuracy but are also susceptible to failures on inputs from low-data regimes, such as domains that are not represented in training data. As an approximation to collecting ground-truth…

计算与语言 · 计算机科学 2023-06-29 Parikshit Bansal , Amit Sharma

As large language models (LLMs) continue to advance, their capacity to function effectively across a diverse range of languages has shown marked improvement. Preliminary studies observe that the hidden activations of LLMs often resemble…

Recent advances in Generative Artificial Intelligence, particularly Large Language Models (LLMs), have stimulated growing interest in automating or assisting Business Process Modeling tasks using natural language. Several approaches have…

软件工程 · 计算机科学 2026-04-16 João Bettencourt , Sérgio Guerreiro

Large Language Models (LLMs) are revolutionizing industries by enhancing efficiency, scalability, and innovation. This paper investigates the potential of LLMs in automating Computer-Aided Design (CAD) workflows, by integrating FreeCAD with…

人机交互 · 计算机科学 2025-08-05 Sumit Kumar , Sarthak Kapoor , Harsh Vardhan , Yao Zhao

In this work, we provide a systematic analysis of how large language models (LLMs) contribute to solving planning problems. In particular, we examine how LLMs perform when they are used as problem solver, solution verifier, and heuristic…

人工智能 · 计算机科学 2024-12-16 Haoming Li , Zhaoliang Chen , Songyuan Liu , Yiming Lu , Fei Liu

Planning in complex environments requires an agent to efficiently query a world model to find a feasible sequence of actions from start to goal. Recent work has shown that Large Language Models (LLMs), with their rich prior knowledge and…

人工智能 · 计算机科学 2024-12-10 Gonzalo Gonzalez-Pumariega , Wayne Chen , Kushal Kedia , Sanjiban Choudhury

In the field of large language model (LLM) post-training, the effectiveness of utilizing synthetic data generated by the LLM itself has been well-presented. However, a key question remains unaddressed: what essential information should such…

计算与语言 · 计算机科学 2025-05-02 Jin Zhang , Flood Sung , Zhilin Yang , Yang Gao , Chongjie Zhang

Leveraging Large Language Models (LLMs) for Knowledge Graph Completion (KGC) is promising but hindered by a fundamental granularity mismatch. LLMs operate on fragmented token sequences, whereas entities are the fundamental units in…

计算与语言 · 计算机科学 2026-02-27 Siyue Su , Jian Yang , Bo Li , Guanglin Niu

LLMs have recently been used to generate Python programs representing generalized plans in PDDL planning, i.e., plans that generalize across the tasks of a given PDDL domain. Previous work proposed a framework consisting of three steps: the…

人工智能 · 计算机科学 2026-03-23 Katharina Stein , Nils Hodel , Daniel Fišer , Jörg Hoffmann , Michael Katz , Alexander Koller

Large language models (LLMs) can exhibit biases in reasoning capabilities due to linguistic modality, performing better on tasks in one language versus another, even with similar content. Most previous works evaluate this through reasoning…

计算与语言 · 计算机科学 2025-10-17 César Guerra-Solano , Zhuochun Li , Xiang Lorraine Li

Large Language Models (LLMs) have garnered significant attention due to their remarkable ability to process information across various languages. Despite their capabilities, they exhibit inconsistencies in handling identical queries in…

计算与语言 · 计算机科学 2024-06-24 Yue Huang , Chenrui Fan , Yuan Li , Siyuan Wu , Tianyi Zhou , Xiangliang Zhang , Lichao Sun

Recent years have seen important advances in the building of interpretable models, machine learning models that are designed to be easily understood by humans. In this work, we show that large language models (LLMs) are remarkably good at…

机器学习 · 计算机科学 2024-02-23 Sebastian Bordt , Ben Lengerich , Harsha Nori , Rich Caruana

Large Language Models (LLMs) have been extensively researched and used in both academia and industry since the rise in popularity of the Transformer model, which demonstrates excellent performance in AI. However, the computational demands…

机器学习 · 计算机科学 2024-11-06 Jiedong Lang , Zhehao Guo , Shuyu Huang

Neural networks are increasingly used to support decision-making. To verify their reliability and adaptability, researchers and practitioners have proposed a variety of tools and methods for tasks such as NN code verification, refactoring,…

机器学习 · 计算机科学 2026-02-05 Nadia Daoudi , Jordi Cabot