中文
相关论文

相关论文: Beyond Task Success: Measuring Workflow Fidelity i…

200 篇论文

Autonomous vehicles (AV) offer a cost-effective solution for scientific missions such as underwater tracking. Recently, reinforcement learning (RL) has emerged as a powerful method for controlling AVs in complex marine environments.…

机器人学 · 计算机科学 2025-10-20 Matteo Gallici , Ivan Masmitja , Mario Martín

Reward models (RMs) play a critical role in aligning large language models (LLMs) with human preferences. Yet in the domain of tool learning, the lack of RMs specifically designed for function-calling tasks has limited progress toward more…

人工智能 · 计算机科学 2026-01-14 Renhao Li , Jianhong Tu , Yang Su , Yantao Liu , Fei Huang , Hamid Alinejad-Rokny , Derek F. Wong , Junyang Lin , Min Yang

Automatic Speech Recognition (ASR) has reached impressive accuracy for high-resource languages, yet its utility in linguistic fieldwork remains limited. Recordings collected in fieldwork contexts present unique challenges, including…

计算与语言 · 计算机科学 2025-06-25 Siyu Liang , Gina-Anne Levow

Formal verification offers a path to provably correct software, but writing verified code remains expensive enough that the technique is rarely used in production. Recent large language models can accelerate this work, and recent benchmarks…

计算机科学中的逻辑 · 计算机科学 2026-05-28 Leo Yao

Large Language Model-based Multi-Agent Systems (MAS) have demonstrated remarkable capabilities in complex tasks. However, manually designing optimal communication topologies is labor-intensive, while automated expansion methods often result…

机器学习 · 计算机科学 2026-05-12 Yulang Chen , Haoxuan Peng , Jinyan Liu , Zichen Wen , Dongrui Liu , Linfeng Zhang

Verifying LLM-generated systems code is hard: bugs are prevalent, formal specifications are missing, and safety contracts are encoded implicitly at call sites rather than enforced at function boundaries. We propose agentic model checking, a…

软件工程 · 计算机科学 2026-05-21 Youcheng Sun , Jiawen Liu , Daniel Kroening , Jason Xue

Recent advances in multimodal Retrieval-Augmented Generation (RAG) enable Large Language Models (LLMs) to analyze enterprise spreadsheet workbooks containing millions of cells, cross-sheet dependencies, and embedded visual artifacts.…

计算与语言 · 计算机科学 2026-03-09 Anmol Gulati , Sahil Sen , Waqar Sarguroh , Kevin Paul

Existing AI benchmarks for software automation rarely combine cross-application coordination, autonomous API discovery, and policy adherence. Real business workflows demand all three: a single task may span a CRM, inbox, calendar, and…

人工智能 · 计算机科学 2026-04-22 Daniel Shepard , Robin Salimans

Large Language Models demonstrate strong reasoning and generation abilities, yet their behavior in multi-turn tasks often lacks reliability and verifiability. We present a task completion framework that enables LLM-based agents to act under…

人工智能 · 计算机科学 2025-12-15 Gonca Gürsun

We present a readiness harness for LLM and RAG applications that turns evaluation into a deployment decision workflow. The system combines automated benchmarks, OpenTelemetry observability, and CI quality gates under a minimal API contract,…

人工智能 · 计算机科学 2026-05-22 Alexandre Cristovão Maiorano

Fraud detection is essential in financial services, with the potential of greatly reducing criminal activities and saving considerable resources for businesses and customers. We address online fraud detection, which consists of classifying…

机器学习 · 计算机科学 2020-02-17 David Aparício , Ricardo Barata , João Bravo , João Tiago Ascensão , Pedro Bizarro

AI agents often fail in ways that are difficult to localize because executions are probabilistic, long-horizon, multi-agent, and mediated by noisy tool outputs. We address this gap by manually annotating failed agent runs and release a…

人工智能 · 计算机科学 2026-02-03 Shraddha Barke , Arnav Goyal , Alind Khare , Avaljot Singh , Suman Nath , Chetan Bansal

Large language models (LLMs) are increasingly deployed as tool-augmented agents capable of executing system-level operations. While existing benchmarks primarily assess textual alignment or task success, less attention has been paid to the…

人工智能 · 计算机科学 2026-05-26 Shasha Yu , Fiona Carroll , Barry L. Bentley

The number of agents can be an effective curriculum variable for controlling the difficulty of multi-agent reinforcement learning (MARL) tasks. Existing work typically uses manually defined curricula such as linear schemes. We identify two…

人工智能 · 计算机科学 2025-05-16 Wenshuai Zhao , Zhiyuan Li , Joni Pajarinen

As large language models (LLMs) evolve from static chatbots into autonomous agents, the primary vulnerability surface shifts from final outputs to intermediate execution traces. While safety guardrails are well-benchmarked for natural…

密码学与安全 · 计算机科学 2026-04-09 Yen-Shan Chen , Sian-Yao Huang , Cheng-Lin Yang , Yun-Nung Chen

Multi-agent systems (MAS) have emerged as a prominent paradigm for leveraging large language models (LLMs) to tackle complex tasks. However, the mechanisms governing the effectiveness of MAS built upon publicly available LLMs, specifically…

多智能体系统 · 计算机科学 2026-05-11 Yuxuan Zhao , Sijia Chen , Ningxin Su

Multi-agent systems achieve state-of-the-art outcomes through peer collaboration. However, when an agent in the pipeline silently drops a constraint, the system's final output may look correct even though the reasoning chain was quietly…

Reinforcement learning (RL) for large language models (LLMs) increasingly relies on sparse, outcome-level rewards -- yet determining which actions within a long trajectory caused the outcome remains difficult. This credit assignment (CA)…

计算与语言 · 计算机科学 2026-04-14 Chenchen Zhang

While recent automated red-teaming methods show promise for systematically exposing model vulnerabilities, most existing approaches rely on human-specified workflows. This dependence on manually designed workflows suffers from human biases…

人工智能 · 计算机科学 2026-04-06 Jiayi Yuan , Jonathan Nöther , Natasha Jaques , Goran Radanović

GraphFlow is a visual workflow system designed to improve the reliability of agentic AI automation in multi-step, mission-critical processes. In these workflows, small errors compound rapidly: under an idealized model of independent steps,…

人工智能 · 计算机科学 2026-05-15 Drewry H. Morris , Luis Valles , Reza Hosseini Ghomi