中文
相关论文

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

200 篇论文

Agentic Artificial Intelligence (AI) systems leveraging Large Language Models (LLMs) exhibit significant potential for complex reasoning, planning, and tool utilization. We demonstrate that a specialized computer vision system can be built…

计算机视觉与模式识别 · 计算机科学 2025-06-23 Jin Kim , Muhammad Wahi-Anwa , Sangyun Park , Shawn Shin , John M. Hoffman , Matthew S. Brown

While logical reasoning evaluation of Large Language Models (LLMs) has attracted significant attention, existing benchmarks predominantly rely on multiple-choice formats that are vulnerable to random guessing, leading to overestimated…

计算与语言 · 计算机科学 2025-02-25 Qin Zhu , Fei Huang , Runyu Peng , Keming Lu , Bowen Yu , Qinyuan Cheng , Xipeng Qiu , Xuanjing Huang , Junyang Lin

When successful, Open Source Software (OSS) projects create enormous value, but most never reach a sustainable state. Recent work has produced accurate models that forecast OSS sustainability, yet these models rarely tell maintainers what…

软件工程 · 计算机科学 2026-02-13 Nafiz Imtiaz Khan , Vladimir Filkov

Large Language Models (LLMs) demonstrate strong performance but often lack interpretable reasoning. This paper introduces the Multi-Agent Collaboration Framework for Diverse Thinking Modes (DiMo), which enhances both performance and…

计算与语言 · 计算机科学 2025-10-21 Zhixuan He , Yue Feng

Algorithmic problem solving serves as a rigorous testbed for evaluating structured reasoning in AI coding systems, as it directly reflects a model's ability to perform structured reasoning in complex scenarios. Existing approaches…

人工智能 · 计算机科学 2026-05-11 Yuliang Xu , Xiang Xu , Yao Wan , Hu Wei , Tong Jia

Large Language Model (LLM) Agents have demonstrated remarkable capabilities in task automation and intelligent decision-making, driving the widespread adoption of agent development frameworks such as LangChain and AutoGen. However, these…

人工智能 · 计算机科学 2025-10-10 Jiabin Tang , Tianyu Fan , Chao Huang

We introduce TAPAS (Task-based Adaptation and Planning using AgentS), a multi-agent framework that integrates Large Language Models (LLMs) with symbolic planning to solve complex tasks without the need for manually defined environment…

人工智能 · 计算机科学 2025-07-01 Harisankar Babu , Philipp Schillinger , Tamim Asfour

Mathematical reasoning is a fundamental capability for large language models (LLMs), yet achieving high performance in this domain remains a significant challenge. The auto-regressive generation process often makes LLMs susceptible to…

人工智能 · 计算机科学 2024-12-02 Xiaoxuan Lou , Chaojie Wang , Bo An

Automated testing for REST APIs has become essential for ensuring the correctness and reliability of modern web services. While existing approaches primarily focus on detecting server crashes and error codes, they often overlook logical…

软件工程 · 计算机科学 2025-03-20 Ke Zhang , Chenxi Zhang , Chong Wang , Chi Zhang , YaChen Wu , Zhenchang Xing , Yang Liu , Qingshan Li , Xin Peng

Effort estimation is a crucial activity in agile software development, where teams collaboratively review, discuss, and estimate the effort required to complete user stories in a product backlog. Current practices in agile effort estimation…

软件工程 · 计算机科学 2025-09-19 Thanh-Long Bui , Hoa Khanh Dam , Rashina Hoda

Solving complex reasoning tasks may involve visual understanding, domain knowledge retrieval, numerical calculation, and multi-step reasoning. Existing methods augment large language models (LLMs) with external tools but are restricted to…

机器学习 · 计算机科学 2026-04-15 Pan Lu , Bowen Chen , Sheng Liu , Rahul Thapa , Joseph Boen , James Zou

We present a multi-agent system for automation of scientific research tasks, cmbagent (https://github.com/CMBAgents/cmbagent). The system is formed by about 30 Large Language Model (LLM) agents and implements a Planning & Control strategy…

Agentic memory systems enable large language model (LLM) agents to maintain state across long interactions, supporting long-horizon reasoning and personalization beyond fixed context windows. Despite rapid architectural development, the…

计算与语言 · 计算机科学 2026-05-21 Dongming Jiang , Yi Li , Songtao Wei , Jinxin Yang , Ayushi Kishore , Alysa Zhao , Dingyi Kang , Xu Hu , Feng Chen , Qiannan Li , Bingzhe Li

The automatic generation of RTL code (e.g., Verilog) through natural language instructions has emerged as a promising direction with the advancement of large language models (LLMs). However, producing RTL code that is both syntactically and…

硬件体系结构 · 计算机科学 2024-12-12 Yujie Zhao , Hejia Zhang , Hanxian Huang , Zhongming Yu , Jishen Zhao

Large language models (LLMs) have recently demonstrated remarkable capabilities to comprehend human intentions, engage in reasoning, and design planning-like behavior. To further unleash the power of LLMs to accomplish complex tasks, there…

Large language model (LLM)-based multi-agent systems (MAS) show strong promise for complex reasoning, planning, and tool-augmented tasks, but designing effective MAS architectures remains labor-intensive, brittle, and hard to generalize.…

机器学习 · 计算机科学 2026-05-28 Yuntong Hu , Yuting Zhang , Matthew Trager , Yi Zhang , Shuo Yang , Wei Xia , Stefano Soatto

We provide a comprehensive examination of agent-based approaches that codify the principles and linkages underlying multi-agent systems, simulations, and information systems. Based on two decades of study, this paper confirms a framework…

多智能体系统 · 计算机科学 2025-08-01 Virginia Padilla , Jacinto Dávila

The design space of agentic AI inference spans two extremes: frontier large language models (LLMs), typically hosted in the cloud and offering strong performance across a wide range of tasks at substantially high cost, and more…

多智能体系统 · 计算机科学 2026-05-29 Corrado Rainone , Davide Belli , Bence Major , Arash Behboodi

We present MOSAIC, a multi-agent Large Language Model (LLM) framework for solving challenging scientific coding tasks. Unlike general-purpose coding, scientific workflows require algorithms that are rigorous, interconnected with deep domain…

计算与语言 · 计算机科学 2026-05-05 Siddeshwar Raghavan , Tanwi Mallick

While contemporary large language models (LLMs) are increasingly capable in isolation, there are still many difficult problems that lie beyond the abilities of a single LLM. For such tasks, there is still uncertainty about how best to take…

人工智能 · 计算机科学 2026-02-27 Ryan Liu , Dilip Arumugam , Cedegao E. Zhang , Sean Escola , Xaq Pitkow , Thomas L. Griffiths
‹ 上一页 1 8 9 10 下一页 ›