中文
相关论文

相关论文: Saarthi for AGI: Towards Domain-Specific General I…

200 篇论文

Retrieval-augmented generation (RAG) is increasingly deployed in enterprise search and document-centric assistants, where responses must be grounded in long and complex source materials. In practice, verifying that generated answers…

计算与语言 · 计算机科学 2026-03-26 Xunzhuo Liu , Bowei He , Xue Liu , Haichen Zhang , Huamin Chen

The Abstraction and Reasoning Corpus (ARC-AGI) probes few-shot abstraction and rule induction on small visual grids, but progress is difficult to measure on static collections of hand-authored puzzles due to overfitting, dataset leakage,…

Legal reasoning requires both precise interpretation of statutory language and consistent application of complex rules, presenting significant challenges for AI systems. This paper introduces a modular multi-agent framework that decomposes…

人工智能 · 计算机科学 2025-11-11 Albert Sadowski , Jarosław A. Chudziak

Context: Artificial intelligence (AI) has made its way into everyday activities, particularly through new techniques such as machine learning (ML). These techniques are implementable with little domain knowledge. This, combined with the…

软件工程 · 计算机科学 2021-09-17 Lalli Myllyaho , Mikko Raatikainen , Tomi Männistö , Tommi Mikkonen , Jukka K. Nurminen

The integration of Artificial Intelligence (AI) into safety-critical systems introduces a new reliability paradigm: silent failures, where AI produces confident but incorrect outputs that can be dangerous. This paper introduces the Formal…

软件工程 · 计算机科学 2026-03-03 Guan-Yan Yang , Farn Wang

Large Language Model (LLM)-based agents increasingly interact, collaborate, and delegate tasks to one another autonomously with minimal human interaction. Industry guidelines for agentic system governance emphasize the need for users to…

密码学与安全 · 计算机科学 2025-09-01 Georgios Syros , Anshuman Suri , Jacob Ginesin , Cristina Nita-Rotaru , Alina Oprea

The increasing realism of AI-Generated Images (AIGI) has created an urgent need for forensic tools capable of reliably distinguishing synthetic content from authentic imagery. Existing detectors are typically tailored to specific forgery…

计算机视觉与模式识别 · 计算机科学 2026-03-25 Yangxin Yu , Yue Zhou , Bin Li , Kaiqing Lin , Haodong Li , Jiangqun Ni , Bo Cao

Ensuring that artificial intelligence (AI) systems satisfy formal safety and policy constraints is a central challenge in safety-critical domains. While limitations of verification are often attributed to combinatorial complexity and model…

人工智能 · 计算机科学 2026-04-07 Munawar Hasan

Systems engineering (SE) is evolving with the availability of generative artificial intelligence (AI) and the demand for a systems-of-systems perspective, formalized under the purview of mission engineering (ME) in the US Department of…

软件工程 · 计算机科学 2025-02-07 Max Ofsa , Taylan G. Topcu

AI agents are increasingly used to solve complex, multi-step tasks, but existing multi-agent frameworks remain brittle as workflows grow in scale and depth. Small errors at intermediate stages can propagate through agent interactions, while…

人工智能 · 计算机科学 2026-05-26 Andy Xu , Yu-Wing Tai

The rise in capability and ubiquity of generative artificial intelligence (AI) technologies has enabled its application to the field of Socially Interactive Agents (SIAs). Despite rising interest in modern AI-powered components used for…

人机交互 · 计算机科学 2024-10-29 Spencer Lin , Basem Rizk , Miru Jun , Andy Artze , Caitlin Sullivan , Sharon Mozgai , Scott Fisher

Artificial general intelligence (AGI) is an established field of research. Yet some have questioned if the term still has meaning. AGI has been subject to so much hype and speculation it has become something of a Rorschach test. Melanie…

人工智能 · 计算机科学 2025-08-11 Michael Timothy Bennett

Recent years have witnessed the widespread use of artificial intelligence (AI) algorithms and machine learning (ML) models. Despite their tremendous success, a number of vital problems like ML model brittleness, their fairness, and the lack…

人工智能 · 计算机科学 2023-08-29 Jinqiang Yu , Alexey Ignatiev , Peter J. Stuckey

As the field progresses toward Artificial General Intelligence (AGI), there is a pressing need for more comprehensive and insightful evaluation frameworks that go beyond aggregate performance metrics. This paper introduces a unified rating…

The rapid evolution to autonomous, agentic AI systems introduces significant risks due to their inherent unpredictability and emergent behaviors; this also renders traditional verification methods inadequate and necessitates a shift towards…

人工智能 · 计算机科学 2025-09-30 Roham Koohestani

The evolution of artificial intelligence (AI) has profoundly impacted human society, driving significant advancements in multiple sectors. AGI, distinguished by its ability to execute diverse real-world tasks with efficiency and…

人工智能 · 计算机科学 2024-11-26 Tao Feng , Chuanyang Jin , Jingyu Liu , Kunlun Zhu , Haoqin Tu , Zirui Cheng , Guanyu Lin , Jiaxuan You

Retrieval-Augmented Generation (RAG) pipelines are central to applying large language models (LLMs) to proprietary or dynamic data. However, building effective RAG flows is complex, requiring careful selection among vector databases,…

We present TextAtari, a benchmark for evaluating language agents on very long-horizon decision-making tasks spanning up to 100,000 steps. By translating the visual state representations of classic Atari games into rich textual descriptions,…

计算与语言 · 计算机科学 2025-06-11 Wenhao Li , Wenwu Li , Chuyun Shen , Junjie Sheng , Zixiao Huang , Di Wu , Yun Hua , Wei Yin , Xiangfeng Wang , Hongyuan Zha , Bo Jin

In the past few years LLMs have emerged as a tool that can aid programmers by taking natural language descriptions and generating code based on it. However, the reliability of LLM code generation and current validation techniques for it are…

编程语言 · 计算机科学 2025-11-24 Aaron Councilman , David Jiahao Fu , Aryan Gupta , Chengxiao Wang , David Grove , Yu-Xiong Wang , Vikram Adve

Data analysis is challenging as it requires synthesizing domain knowledge, statistical expertise, and programming skills. Assistants powered by large language models (LLMs), such as ChatGPT, can assist analysts by translating natural…

人机交互 · 计算机科学 2024-03-05 Ken Gu , Ruoxi Shang , Tim Althoff , Chenglong Wang , Steven M. Drucker