Research on coding agents mainly focuses on generation quality. Yet, safety-critical automotive software makes two additional demands. It prioritizes verification, since every change is reviewed, traced to a requirement, and checked against industry standards such as MISRA and AUTOSAR before it can be committed. It is...
Elizaveta Zinovyeva, Aiham Taleb, Nikita Kozodoi et al.· 0 citations
Game development stresses coding agents in ways general software engineering does not: correctness depends on how engine APIs, serialized scene state, and runtime behavior interact, not on source code alone. Existing benchmarks mainly target platforms such as Godot and heavily rely on LLM judges or coarse task-level ou...
Yijun Zhou, Minghao Shao, Ke Zhang et al.· 0 citations
Leak localization in water distribution networks is challenging when multiple leaks occur simultaneously, particularly under sparse monitoring. Existing data-driven methods often assume a single or predefined number of leaks or require extensive enumeration of leak combinations. This study proposes a graph neural netwo...
Arvin Ajoodani, Sara Nazif, Pouria Ramazi· 0 citations
EMMA (structured Episodic Memory for Multi-Agent workflow synthesis), which treats the configuration of a multi-agent system as episodic memory and makes the ownership and admissibility of updates explicit.
Rui-Jia Niu, Kai-Wen Liu, Rose Yu et al.· 0 citations
Reach audiences
Advertise in front of researchers, engineers, and readers.
This paper shows that many MAPP variants can be modeled in HyperLTL, a temporal logic that reasons about multiple paths and their evolution through time, and in its omega-regular extension HyperQPTL, a complementary, specification-centered view.
Solving long-horizon agentic tasks requires language agents to interact with their environments over multiple steps, and reliable performance often comes from the expensive capable models available through cloud providers. Meanwhile, alternative efficient models with inferior performance but a much lower cost are emerg...
Junlong Li, Jindong Jiang, Yonggan Fu et al.· 0 citations
Accurate CSI forecasting is essential for mitigating channel aging and supporting reliable downlink transmission in high-mobility wireless systems. In FDD systems, forecasting future DL CSI from historical UL observations requires joint temporal extrapolation and cross-band inference. However, defining historical UL as...
Ning Yang, Yuming Xian, Tong Li et al.· 0 citations
ResCom, a low-rank correction that uses the activation rounding residual to compensate for the resulting layer-output error, is proposed, a low-rank correction that uses the activation rounding residual to compensate for the resulting layer-output error.
Ning-Rui Yang, Bo-Han Cui, Zhuo-Wen Liu et al.· 0 citations
Autonomous vertical landing of reusable launch vehicles is a critical yet formidable challenge in aerospace engineering, primarily due to highly nonlinear dynamics, stringent precision require- ments, and inherent environmental uncertainties. While reinforcement learning (RL) has emerged as a promising alternative to t...
Multi-agent debate (MAD) aims to improve language-model decisions through the exchange of arguments, yet agreement after debate need not reflect independent corroboration. We investigate how peer communication influences individual decisions and collective outcomes through behavioral and internal interventions. We intr...
Arnesh Batra, Aniket Khandelwal, Jashn Khemani et al.· 0 citations
We present SCOPE, a multi-agent system for profiling news media outlets with respect to bias, factuality, and credibility. Given an outlet URL, SCOPE coordinates specialized agents for article acquisition, content analysis, external evidence search, scoring, and report generation. The system follows an MBFC-style metho...
Ilyas Nagiyev, Miras Baisbay, Daniil Orel et al.· 0 citations
Training contextual masking systems for personally identifiable information (PII) requires examples distinguishing maskable from preservable mentions of one entity type, but privacy restrictions limit access to real data. Author-based augmentation (SPY) labels mentions unrelated to the author as non-PII, presuming a si...
