This paper presents a novel SAT encoding designed to represent a sequence of At-Most-K cardinality constraints arranged in a ladder-like structure, referred to as the Ladder AMK constraint. These AMK constraints feature a ladder-like arrangement, with shared common variables in the center and two variables differing at...
Hieu Truong Xuan, Tuyen Kieu Van, Khanh To Van· 0 citations
Web interfaces are widely used to access network services and manage networked devices. Identifying the vendors and types of devices behind Web interfaces is a critical step in asset inventory, security management, and risk assessment. Device identity cues are dispersed across page text, configuration fields, and manag...
Yifan Yang (National University of Defense Technology, Changsha, China) et al.· 0 citations
Decisions about the direction of research in power engineering determine which technologies mature and, through them, shape infrastructure that lasts decades, yet their consequences cannot be observed before they are taken, and existing forecasts of research fields extrapolate a single trajectory. Here we introduce res...
This work investigates three such capabilities - persuasion, deception, and coercion - across five realistic evaluation environments and a variety of agents instantiated with frontier language models, observing significant inter-agent influence capabilities.
Chandler Smith, Qian-Xue Guo, Cecilia Tilli et al.· 0 citations
Reach audiences
Advertise in front of researchers, engineers, and readers.
Large language model (LLM) assistants are increasingly proposed for regulatory affairs, yet their reliability in regulatory tasks remains unclear. We introduce the EU AI Act Q&A Benchmark, an expert-curated benchmark of 110 open-ended questions about the EU AI Act (Regulation (EU) 2024/1689). Each question comes with a...
Marco Virgolin, Thomas Haszprunar, Maximilian Regenold· 0 citations
A/B testing underpins product decisions by providing trustworthy, reproducible quantification of proposed changes'effects. Growing large language model (LLM) capabilities have motivated efforts to automate experimentation workflows. Yet LLMs are nondeterministic and prone to hallucination, properties that conflict with...
Brett Daley, I. Gorbachev, Anubhav Natani et al.· 0 citations
Industries are increasingly adopting AI-driven systems to automate a wide range of tasks, including high-stakes decisions in human resources, such as candidate screening and recruitment. This makes evaluating their fairness essential, particularly when decisions directly affect individuals'opportunities. Accordingly, t...
Muhammad Uzair Ul Haq, Davide Rigoni, Alessandro Sperduti et al.· 0 citations
AI agents can make incorrect decisions or waste resources even when their tools and infrastructure work normally. Their nondeterministic behavior makes these problems difficult to reproduce and diagnose. We developed Signals to identify such problems from agentic traces and suggest concrete remediations. We built the m...
Amey Rambatla (Cisco), Vatsal Goel (Cisco), Sagar Gaur (Cisco) et al.· 0 citations
We present a spatial-memory system that enables optical see-through AR glasses to recall earlier physical encounters. The dual-camera prototype combines hierarchical visual acquisition with source-linked storage and staged retrieval. Quality screen-ing, global and regional appearance novelty, and temporal support selec...
Not every component in a technical system can be equipped with sensors. Hence, when a fault occurs, available sensors often detect it only after its effects have propagated. This makes the isolation of faults difficult. We approach this problem by introducing virtual sensors. For each combination of component and fault...
Oliver Niggemann, Jonas Ehrhardt, Alexander Diedrich· 0 citations
Multi-expert agent marketplaces -- where creators publish domain-specific AI experts for end users to consult -- are an emerging deployment pattern for language technology. A published expert can receive many requests yet little evidence about its creator, who remains active elsewhere: the cold-expert problem. We frame...
Xuwei Tan, Jingchun Huang, Ming Cai et al.· 0 citations
We propose goal-driven self-recursive optical research in which agents use physical evidence to revise the hardware, software, models, and protocols used to pursue a scientific goal. The framework can be instantiated with different stimulus systems and measurement devices. We formalize its updates and derive a relation...
Tianxing Zhu, Huacheng Lu, Ming Liu et al.· 0 citations