English
Related papers

Related papers: Putnam 2025 Problems in Rocq using Opus 4.6 and Ro…

200 papers

Large language model (LLM)-powered agents are increasingly used to plan and execute scientific workflows, yet most research cyberinfrastructure (CI) exposes heterogeneous APIs and implements security models that present barriers for use by…

Large Language Models (LLMs) show promise for automated code optimization but struggle without performance context. This work introduces Opal, a modular framework that connects performance analytics insights with the vast body of published…

Performance · Computer Science 2025-10-02 Mohammad Zaeed , Tanzima Z. Islam , Vladimir Inđić

The Model Context Protocol (MCP) defines a schema bound execution model for agent-tool interaction, enabling modular computer vision workflows without retraining. To our knowledge, this is the first protocol level, deployment scale audit of…

Cryptography and Security · Computer Science 2025-09-30 Aditi Tiwari , Akshit Bhalla , Darshan Prasad

Large language models are shifting from passive information providers to active agents intended for complex workflows. However, their deployment as reliable AI workers in enterprise is stalled by benchmarks that fail to capture the…

Aiming at the problems of computational inefficiency and insufficient interpretability faced by large models in complex tasks such as multi-round reasoning and multi-modal collaboration, this study proposes a three-layer collaboration…

Computation and Language · Computer Science 2025-09-23 Luyan Zhang

MCP standardizes how LLMs interact with external systems, forming the foundation for general agents. However, existing MCP benchmarks remain narrow in scope: they focus on read-heavy tasks or tasks with limited interaction depth, and fail…

Effective multi-agent systems cannot be designed by selecting prompts or communication graphs in isolation. Agent behavior depends on the information an agent receives, while the usefulness of a communication edge depends on how the…

Artificial Intelligence · Computer Science 2026-05-28 Yi Ding , Zijie Xuan , Haowei Zhou , Zhenyu Ju , Xiaoxiao Dong , Jingwen Zhang , Xingyu Zhu , Leixin Sun , Haochi Zhang

A central aspect of machine learning research is experimentation, the process of designing and running experiments, analyzing the results, and iterating towards some positive outcome (e.g., improving accuracy). Could agents driven by…

Machine Learning · Computer Science 2024-04-16 Qian Huang , Jian Vora , Percy Liang , Jure Leskovec

The Model Context Protocol has emerged as a transformative standard for connecting large language models to external data sources and tools, rapidly gaining adoption across major AI providers and development platforms. However, existing…

Artificial Intelligence · Computer Science 2025-08-21 Ziyang Luo , Zhiqi Shen , Wenzhuo Yang , Zirui Zhao , Prathyusha Jwalapuram , Amrita Saha , Doyen Sahoo , Silvio Savarese , Caiming Xiong , Junnan Li

To reduce development overhead and enable seamless integration between potential components comprising any given generative AI application, the Model Context Protocol (MCP) (Anthropic, 2024) has recently been released and subsequently…

Cryptography and Security · Computer Science 2025-04-14 Brandon Radosevich , John Halloran

Large Language Model (LLM) agents are rapidly emerging as powerful systems for automating tasks across domains. Yet progress in the open-source community is constrained by the lack of high quality permissively licensed tool-agentic training…

Machine Learning · Computer Science 2025-10-02 Zhangchen Xu , Adriana Meza Soria , Shawn Tan , Anurag Roy , Ashish Sunil Agrawal , Radha Poovendran , Rameswar Panda

LLMs' capabilities are enhanced by using function calls to integrate various data sources or API results into the context window. Typical tools include search, web crawlers, maps, financial data, file systems, and browser usage, etc.…

Artificial Intelligence · Computer Science 2025-08-12 Shiqing Fan , Xichen Ding , Liang Zhang , Linjian Mo

LLM agents are beginning to invoke industrial asset-management tools through the Model Context Protocol (MCP), yet whether they can act reliably on this substrate for safety-critical \emph{Prognostics and Health Management (PHM)} is…

Artificial Intelligence · Computer Science 2026-05-12 Tianjun Feng , Yunfeng Chen , Chun-Yi Tsai , Yihan Sun , Ayan Das , Kaoutar El Maghraoui , Shuxin Lin , Dhaval Patel

Large Language Models (LLMs) are increasingly augmented with external tools through standardized interfaces like the Model Context Protocol (MCP). However, current MCP implementations face critical limitations: they typically require local…

Cryptography and Security · Computer Science 2026-03-11 Arash Ahmadi , Sarah Sharif , Yaser M. Banad

As Large Language Models (LLMs) evolve from passive text generators to active reasoning agents capable of interacting with external tools, the Model Context Protocol (MCP) has emerged as a key standardized framework for dynamic tool…

Artificial Intelligence · Computer Science 2025-10-14 Xuanqi Gao , Siyi Xie , Juan Zhai , Shiqing Ma , Chao Shen

Agentic systems have recently become the dominant paradigm for formal theorem proving, achieving strong performance by coordinating multiple models and tools. However, existing approaches often rely on task-specific pipelines and trained…

Artificial Intelligence · Computer Science 2026-01-21 Junqi Liu , Zihao Zhou , Zekai Zhu , Marco Dos Santos , Weikun He , Jiawei Liu , Ran Wang , Yunzhou Xie , Junqiao Zhao , Qiufeng Wang , Lihong Zhi , Jia Li , Wenda Li

Model Predictive Control (MPC) has exhibited remarkable capabilities in optimizing objectives and meeting constraints. However, the substantial computational burden associated with solving the Optimal Control Problem (OCP) at each…

Robotics · Computer Science 2024-05-09 Yu Luo , Qie Sima , Tianying Ji , Fuchun Sun , Huaping Liu , Jianwei Zhang

Model Context Protocol (MCP) has recently gained increased attention within the AI community for providing a standardized way for large language models (LLMs) to interact with external tools and services, significantly enhancing their…

Distributed, Parallel, and Cluster Computing · Computer Science 2025-11-12 Zihao Ding , Mufeng Zhu , Yao Liu

Large Language Models (LLMs) are increasingly serving as autonomous agents, and their utilization of external tools via the Model Context Protocol (MCP) is considered a future trend. Current MCP evaluation sets suffer from issues such as…

Artificial Intelligence · Computer Science 2026-01-22 Wenrui Liu , Zixiang Liu , Elsie Dai , Wenhan Yu , Lei Yu , Tong Yang , Jinjun Han , Hong Gao

Model Context Protocol (MCP) has emerged as a standard interface for connecting LLM agents to external tools. Because MCP servers expose privileged operations such as shell execution, network access, and file-system manipulation to…

Cryptography and Security · Computer Science 2026-05-21 Pengyu Sun , Qishu Jin , Enhao Huang , Zifeng Kang , Xin Liu , Dakun Shen , Song Li