Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · 2609.31136

Toward AI-Augmented Cooperative Engineering Workflows: Requirements and Architecture the European Rover Challenge

Ahmed R. Sadik·Frank Joublin·Mariusz Bujny·Antonello Ceravola·Joan Smith
View original source ↗Read source document ↗Export metadata ↓

Abstract

The growing availability of Artificial Intelligence (AI) tools creates new opportunities to support engineering design processes, yet their current use often remains limited to isolated tasks such as coding, documentation, or information retrieval. Less attention has been given to how AI can support cooperative engineering workflows at the process level, where teams must coordinate requirements, tasks, communication, knowledge transfer, and subsystem integration. This paper investigates this challenge in the context of the European Rover Challenge (ERC), where student teams design and integrate complex rover systems within a single academic cycle under strict time constraints and high subsystem interdependence. We conducted a role adaptive 40 question survey with ERC 2025 teams, yielding 104 responses from 14 teams. The survey examined team structure, knowledge transfer, task management, integration practices, communication patterns, and current AI usage. The results reveal recurring workflow bottlenecks, including limited documentation, unclear requirements, fragmented communication, informal task monitoring, and substantial integration rework. Based on these findings, we derive requirements for AI augmented cooperative engineering work-flows and propose an initial assistant system architecture that connects user facing interfaces, credential management, service selection, specialized AI services, and external engineering tools. The proposed architecture aims to support task clarification, requirement and compliance management, communication summarization, integration risk detection, and continuous knowledge capture. In doing so, the paper contributes empirical requirements and an architectural direction for AI augmented cooperative engineering workflows in hybrid human AI team settings.

Explore related subjects

cs.AI

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Ahmed R. Sadik, Frank Joublin, Mariusz Bujny, Antonello Ceravola, Joan Smith. 2026-09-25. Toward AI-Augmented Cooperative Engineering Workflows: Requirements and Architecture the European Rover Challenge. https://arxiv.org/abs/2609.31136

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Categorical Approach to Conflict Resolution:A Corrected Correspondence between Category Theory and the Graph Model for Conflict Resolution

This note is a substantially revised version of the author's earlier preprint (version~1, 2023), which proposed a ``Categorical Graph Model for Conflict Resolution'' (C-GMCR). Several of the central definitions and claims of version~1 are incorrect, and this version replaces them. We first observe that the states and one-step moves of a graph model do not form a category; the correct construction is the free category on a quiver whose arrows are moves labelled by the decision maker (DM) who controls them. Controller labels are functorial: they define a functor into the free monoid on the set of DMs, and the legal move sequences underlying coalition reachability are exactly the paths whose label words contain no immediate repetition. Preferences, in contrast, are not functorial. We show that a map representing a DM's preference in a preordered set exists only if the preference is transitive, and that even then it extends to a functor on the path category if and only if every move, regardless of its controller, is weakly improving for the focal DM; in that case general metarationality, symmetric metarationality and sequential stability all collapse to Nash stability for the focal DM. Preferences therefore enter the categorical picture as a selection of a subquiver of improvements, not as a functor. We restate the four standard stability concepts in path language, work them out on the Prisoner's Dilemma, and take a first step towards comparing graph models via induced embeddings: Nash stability is reflected by induced embeddings, whereas general metarationality, symmetric metarationality and sequential stability are neither preserved nor reflected. A section lists each correction to version~1 explicitly.

cs.AI↗
arXiv2026

From Reasoning to Generalization: Knowledge-Augmented LLMs for ARC Benchmark

Recent reasoning-oriented LLMs have demonstrated strong performance on challenging tasks such as mathematics and science examinations. However, core cognitive faculties of human intelligence, such as abstract reasoning and generalization, remain underexplored. To address this, we evaluate recent reasoning-oriented LLMs on the Abstraction and Reasoning Corpus (ARC) benchmark, which explicitly demands both faculties. We formulate ARC as a program synthesis task and propose nine candidate solvers. Experimental results show that repeated-sampling planning-aided code generation (RSPC) achieves the highest test accuracy and demonstrates consistent generalization across most LLMs. To further improve performance, we introduce an ARC solver, Knowledge Augmentation for Abstract Reasoning (KAAR), which encodes core knowledge priors within an ontology that classifies priors into three hierarchical levels based on their dependencies. KAAR progressively expands LLM reasoning capacity by gradually augmenting priors at each level, and invokes RSPC to generate candidate solutions after each augmentation stage. This stage-wise reasoning reduces interference from irrelevant priors and improves LLM performance. Empirical results show that KAAR maintains strong generalization and consistently outperforms non-augmented RSPC across all evaluated LLMs, achieving around 5% absolute gains and up to 64.52% relative improvement. Despite these achievements, ARC remains a challenging benchmark for reasoning-oriented LLMs, highlighting future avenues of progress in LLMs. Our code is available at https://github.com/you68681/kaar.

cs.AI↗
arXiv2026

GLOVE: Global Verifier for LLM Memory-Environment Realignment

Most existing memory-enhanced Large Language Model (LLM) approaches implicitly assume that memory validity can be established either through external evaluators that provide task-specific success signals or through internal model cognition, such as reflection, for editing memory entries. However, these assumptions often break down in practical environments with dynamic drifts. We propose the Global Verifier (GLOVE), a framework that introduces a new design dimension for LLM memory systems by establishing a relative notion of truth. Through active probing to detect inconsistencies between retrieved memories and fresh observations, GLOVE enables memory-environment realignment by verifying and updating memory without access to ground-truth supervision or strong reliance on model introspection. We evaluate GLOVE on diverse benchmarks spanning web navigation, planning, and control, augmented with controlled environmental drifts that introduce non-stationarity beyond the original benchmark settings. Our results show that GLOVE substantially improves agent success rates, suggesting a robust pathway to cognitive agents capable of self-evolving.

cs.AI↗