English
Related papers

Related papers: GraphFlow: An Architecture for Formally Verifiable…

200 papers

In this paper, the acceleration of algorithms using a design of a field programmable gate array (FPGA) as a prototype of a static dataflow architecture is discussed. The static dataflow architecture using operators interconnected by…

Hardware Architecture · Computer Science 2015-03-13 Jorge Luiz e Silva , Joelmir Jose Lopes , Bruno de Abreu Silva , Antonio Carlos Fernandes da Silva

Workflow automation promises substantial productivity gains in everyday document-related tasks. While prior agentic systems can execute isolated instructions, they struggle with automating multi-step, session-level workflows due to limited…

Software Engineering · Computer Science 2025-12-05 Yanbin Zhang , Hanhui Ye , Yue Bai , Qiming Zhang , Liao Xiang , Wu Mianzhi , Renjun Hu

Rapid electrification and decarbonization are increasing the complexity of distribution grid (DG) operation and planning, necessitating advanced computational analyses to ensure reliability and resilience. These analyses depend on disparate…

Artificial Intelligence · Computer Science 2025-10-22 Emmanuel O. Badmus , Peng Sang , Dimitrios Stamoulis , Amritanshu Pandey

Ensuring the functional correctness and safety of autonomous vehicles is a major challenge for the automotive industry. However, exhaustive physical test drives are not feasible, as billions of driven kilometers would be required to obtain…

Software Engineering · Computer Science 2021-02-09 Barbara Schuett , Thilo Braun , Stefan Otten , Eric Sax

Analog/mixed-signal circuits are key for interfacing electronics with the physical world. Their design, however, remains a largely handcrafted process, resulting in long and error-prone design cycles. While the recent rise of AI-based…

Machine Learning · Computer Science 2026-01-15 Mohsen Ahmadzadeh , Kaichang Chen , Georges Gielen

We introduce QualityFlow, a dynamic agentic workflow for program synthesis. Given the English description of a programming problem and a set of unit tests, the model's goal is to synthesize the correct program that solves the problem and…

Software Engineering · Computer Science 2025-03-26 Yaojie Hu , Qiang Zhou , Qihong Chen , Xiaopeng Li , Linbo Liu , Dejiao Zhang , Amit Kachroo , Talha Oz , Omer Tripp

The vast amounts of data used in social, business or traffic networks, biology and other natural sciences are often managed in graph-based data sets, consisting of a few thousand up to billions and trillions of vertices and edges,…

Databases · Computer Science 2021-10-22 Matthias Hauck , Ismail Oukid , Holger Fröning

End-to-end GUI agents for real desktop environments require large amounts of high-quality interaction data, yet collecting human demonstrations is expensive and existing synthetic pipelines often suffer from limited task diversity or noisy,…

Artificial Intelligence · Computer Science 2026-04-14 Jinbiao Wei , Yilun Zhao , Kangqi Ni , Arman Cohan

Task graphs provide a simple way to describe scientific workflows (sets of tasks with dependencies) that can be executed on both HPC clusters and in the cloud. An important aspect of executing such graphs is the used scheduling algorithm.…

Distributed, Parallel, and Cluster Computing · Computer Science 2022-04-18 Jakub Beránek , Stanislav Böhm , Vojtěch Cima

Large Language Models (LLMs), with their exceptional ability to handle a wide range of tasks, have driven significant advancements in tackling reasoning and planning tasks, wherein decomposing complex problems into executable workflows is a…

Computation and Language · Computer Science 2025-02-25 Shuofei Qiao , Runnan Fang , Zhisong Qiu , Xiaobin Wang , Ningyu Zhang , Yong Jiang , Pengjun Xie , Fei Huang , Huajun Chen

Existing rectified flow models are based on linear trajectories between data and noise distributions. This linearity enforces zero curvature, which can inadvertently force the image generation process through low-probability regions of the…

Computer Vision and Pattern Recognition · Computer Science 2025-08-26 Yan Luo , Drake Du , Hao Huang , Yi Fang , Mengyu Wang

Large language models (LLMs) excel at solving complex tasks by executing agentic workflows composed of detailed instructions and structured operations. Yet, building general-purpose agents by manually embedding foundation models into…

Artificial Intelligence · Computer Science 2025-08-08 Chia-Tung Ho , Jing Gong , Xufeng Yao , Yunsheng Bai , Abhishek B Akkur , Haoxing Ren

Automated driving in urban scenarios requires efficient planning algorithms able to handle complex situations in real-time. A popular approach is to use graph-based planning methods in order to obtain a rough trajectory which is…

Robotics · Computer Science 2021-02-17 Oliver Speidel , Jona Ruof , Klaus Dietmayer

Graph algorithms, such as shortest path finding, play a crucial role in enabling essential applications and services like infrastructure planning and navigation, making their correctness important. However, thoroughly testing graph…

Software Engineering · Computer Science 2025-02-24 Wenqi Yan , Manuel Rigger , Anthony Wirth , Van-Thuan Pham

The generation and execution of qualifiable safe and dependable AI models, necessitates definition of a transparent, complete yet adaptable and preferably lightweight workflow. Given the rapidly progressing domain of AI research and the…

Machine Learning · Computer Science 2024-10-04 Hans Dermot Doran , Suzana Veljanovska

Artificial intelligence systems have achieved remarkable capability in natural language processing, perception and decision-making tasks. However, their behaviour often remains opaque and difficult to verify, limiting their applicability in…

Software Engineering · Computer Science 2026-04-15 Arshad Beg , Diarmuid O'Donoghue , Rosemary Monahan

Generating diverse, readable statistical charts from tabular data remains challenging for LLMs, as many failures become apparent after rendering and are not detectable from data or code alone. Existing chart datasets also rarely provide…

Machine Learning · Computer Science 2026-05-04 Pavlin G. Poličar , Andraž Pevcin , Blaž Zupan

AI systems are becoming active participants in organizational and knowledge work. They increasingly interact with humans, coordinate workflows, and operate in multi-agent arrangements. Understanding their effects therefore requires more…

Artificial Intelligence · Computer Science 2026-05-19 Yingjie Zhang , Chun Feng , Weizhang Zhu , Tianshu Sun

Graph computing has become increasingly crucial in processing large-scale graph data, with numerous systems developed for this purpose. Two years ago, we introduced GraphScope as a system addressing a wide array of graph computing needs,…

Distributed, Parallel, and Cluster Computing · Computer Science 2023-12-20 Tao He , Shuxian Hu , Longbin Lai , Dongze Li , Neng Li , Xue Li , Lexiao Liu , Xiaojian Luo , Binqing Lyu , Ke Meng , Sijie Shen , Li Su , Lei Wang , Jingbo Xu , Wenyuan Yu , Weibin Zeng , Lei Zhang , Siyuan Zhang , Jingren Zhou , Xiaoli Zhou , Diwen Zhu

In qualitative research, data transcription is often labor-intensive and time-consuming. To expedite this process, a workflow utilizing artificial intelligence (AI) was developed. This workflow not only enhances transcription speed but also…

Computation and Language · Computer Science 2025-04-22 Jakob Sponholz , Andreas Weilinghoff , Juliane Schopf