中文
相关论文

相关论文: Logic-Based Specification Languages for Intelligen…

200 篇论文

Large Language Models (LLMs) and Multi-Agent LLMs (MALLMs) introduce non-determinism unlike traditional or machine learning software, requiring new approaches to verifying correctness beyond simple output comparisons or statistical accuracy…

软件工程 · 计算机科学 2025-10-22 Felix Dobslaw , Robert Feldt , Juyeon Yoon , Shin Yoo

Integration, composition, mechanization, and AI assisted development are the driving themes in the future of software development. At their core these concepts are rooted in the increasingly important role of computing in our world, the…

编程语言 · 计算机科学 2024-07-10 Mark Marron

Automating the adaptation of software engineering (SE) research artifacts across datasets is essential for scalability and reproducibility, yet it remains largely unstudied. Recent advances in large language model (LLM)-based multi-agent…

软件工程 · 计算机科学 2025-11-27 Jingyi Chen , Xiaoyan Guo , Songqiang Chen , Shing-Chi Cheung , Jiasi Shen

Recent advances in large language models (LLMs) have propelled research in natural language interfaces to databases. However, most state-of-the-art text-to-SQL systems still depend on complex, multi-stage pipelines. This work proposes a…

人工智能 · 计算机科学 2025-06-03 Fernando Granado , Roberto Lotufo , Jayr Pereira

Usability evaluation is critical to the impact and adoption of open source software (OSS), yet traditional methods relying on human evaluators suffer from high costs and limited scalability. To address these limitations, we introduce…

软件工程 · 计算机科学 2025-05-30 Lingkai Meng , Yu Shao , Long Yuan , Longbin Lai , Peng Cheng , Wenyuan Yu , Wenjie Zhang , Xuemin Lin , Jingren Zhou

The four intensive problems to the software rose by the software industry .i.e., User System Communication / Human Machine Interface, Meta Data extraction, Information processing & management and Data representation are discussed in this…

人工智能 · 计算机科学 2010-08-10 Zeeshan Ahmed , Detlef Gerhard

LLM-powered agents are both a promising new technology and a source of complexity, where choices about models, tools, and prompting can affect their usefulness. While numerous benchmarks measure agent accuracy across domains, they mostly…

Clinical decision-making requires nuanced reasoning over heterogeneous evidence and traceable justifications. While recent LLM multi-agent systems (MAS) show promise, they largely optimise for outcome accuracy while overlooking…

人工智能 · 计算机科学 2026-02-17 Chaeeun Lee , T. Michael Yates , Pasquale Minervini , T. Ian Simpson

Large Language Models (LLMs) have demonstrated impressive performance across diverse domains, yet they still encounter challenges such as insufficient domain-specific knowledge, biases, and hallucinations. This underscores the need for…

计算与语言 · 计算机科学 2025-04-07 Hongliu Cao , Ilias Driouich , Robin Singh , Eoin Thomas

Telecom networks are rapidly growing in scale and complexity, making effective management, operation, and optimization increasingly challenging. Although Artificial Intelligence (AI) has been applied to many telecom tasks, existing models…

人工智能 · 计算机科学 2025-11-04 Chenhua Shi , Bhavika Jalli , Gregor Macdonald , John Zou , Wanlu Lei , Mridul Jain , Joji Philip

Open-ended short-answer questions (SAGs) have been widely recognized as a powerful tool for providing deeper insights into learners' responses in the context of learning analytics (LA). However, SAGs often present challenges in practice due…

人工智能 · 计算机科学 2025-06-05 Yucheng Chu , Hang Li , Kaiqi Yang , Harry Shomer , Hui Liu , Yasemin Copur-Gencturk , Jiliang Tang

Large Language Models (LLMs) and multi-agent systems have shown impressive capabilities in natural language tasks but face challenges in clinical trial applications, primarily due to limited access to external knowledge. Recognizing the…

计算与语言 · 计算机科学 2024-07-23 Ling Yue , Sixue Xing , Jintai Chen , Tianfan Fu

Since many of the currently available multi-agent frameworks are generally mostly intended for research, it can be difficult to built multi-agent systems using physical robots. In this report I describe a way to combine the multi-agent…

多智能体系统 · 计算机科学 2010-10-04 Andreas Schmidt Jensen

Despite the impressive capabilities of large language models, their substantial computational costs, latency, and privacy risks hinder their widespread deployment in real-world applications. Small Language Models (SLMs) with fewer than 10…

计算与语言 · 计算机科学 2026-04-22 Xinlin Wang , Mats Brorsson

Large Language Models (LLMs) increasingly support culturally sensitive decision making, yet often exhibit misalignment due to skewed pretraining data and the absence of structured value representations. Existing methods can steer outputs,…

计算与语言 · 计算机科学 2026-02-02 Wonduk Seo , Wonseok Choi , Junseo Koh , Juhyeon Lee , Hyunjin An , Minhyeong Yu , Jian Park , Qingshan Zhou , Seunghyun Lee , Yi Bu

Game environments provide rich, controllable settings that stimulate many aspects of real-world complexity. As such, game agents offer a valuable testbed for exploring capabilities relevant to Artificial General Intelligence. Recently, the…

We study predictive multilingual evaluation: estimating how well a model will perform on a task in a target language when direct benchmark results are missing. This problem is common in multilingual deployment, where evaluation coverage is…

计算与语言 · 计算机科学 2026-04-13 Avni Mittal , Shanu Kumar , Sandipan Dandapat , Monojit Choudhury

The emergence of large language models (LLMs) has brought a new paradigm to automated essay scoring (AES), a long-standing and practical application of natural language processing in education. However, achieving human-level…

计算与语言 · 计算机科学 2025-09-22 Jinhee Jang , Ayoung Moon , Minkyoung Jung , YoungBin Kim , Seung Jin Lee

Large language models have demonstrated strong capabilities in individual software engineering tasks, yet most autonomous systems still treat issue resolution as a monolithic or pipeline-based process. In contrast, real-world software…

人工智能 · 计算机科学 2026-02-10 Nikita Benkovich , Vitalii Valkov

Natural language serves as the primary mode of communication when an intelligent agent with a physical presence engages with human beings. While a plethora of research focuses on natural language understanding (NLU), encompassing endeavors…

机器人学 · 计算机科学 2023-10-25 Chayan Sarkar , Avik Mitra , Pradip Pramanick , Tapas Nayak