The study asks how often merged AI-agent PRs receive follow-up fixes, who authors those fixes, and how merge-time signals differ between agent PRs with and without a later fix.
The central argument is that a present record, authentic execution trace, passing test, or successful tool result does not establish satisfaction of current requirements, legitimate caller authority, or correspondence between a later consequential action and the reviewed artifact; observation and evaluation outputs remain candidate evidence whose usable properties depend on trusted producer capabilities.
The paper asks whether an agent can assemble the resources and procedures a scientific task requires into a system that remains invocable after construction ends, shifting attention from development actions or a single answer to capabilities retained in the delivered artifact.
The paper formulates EIP-II as posterior inference for an observation y when both the prior and the forward model are unknown, using training data and a new observation set Y drawn under the same forward model.
Machine Learning · Empirical
Zhengyan Huan, Camila Pazos, Martin Klassen et al.
All Research
Latest Research · Browse by domain and research kind.
The authors introduce SVGLM, a framework that uses SVG primitives to connect text and images in reasoning, using SVG both as an image description and as text instructions.
The authors present ARGUS, a source-grounded, role-aware pipeline for constructing document-level Event Knowledge Graphs (EKGs) from U.S. employment-discrimination complaints, representing events with participants, temporal relations, and causal relations.
LIFT is a force-aware post-training framework for pretrained VLA policies that adds contact reactivity while aiming to preserve the pretrained manipulation prior.
The authors introduce GraphStar sets, which extend Star sets to represent uncertainty in node and edge features, and implement them in GNNV to support reachability analysis for GCN and GINE architectures.
The study asks how often merged AI-agent PRs receive follow-up fixes, who authors those fixes, and how merge-time signals differ between agent PRs with and without a later fix.
The central argument is that a present record, authentic execution trace, passing test, or successful tool result does not establish satisfaction of current requirements, legitimate caller authority, or correspondence between a later consequential action and the reviewed artifact; observation and evaluation outputs remain candidate evidence whose usable properties depend on trusted producer capabilities.
The paper asks whether an agent can assemble the resources and procedures a scientific task requires into a system that remains invocable after construction ends, shifting attention from development actions or a single answer to capabilities retained in the delivered artifact.
The authors contribute an approach that pairs LLM-generated taint flow models with a soundness checker, rather than constructing every model through inter-procedural taint analysis.
The paper formulates EIP-II as posterior inference for an observation y when both the prior and the forward model are unknown, using training data and a new observation set Y drawn under the same forward model.
The paper targets the lack of explicit social-knowledge representations and protocol-governed coordination in many LLM multi-agent systems. It proposes EPLA, a neuro-symbolic coordination architecture, and epistemic lottery gossip models that add agent-indexed lottery weights to call histories. Its announced Guard-decidability scope is an explicit modal-depth-one source fragment, not unrestricted epistemic reasoning.
The proposed defense combines protected evidence selection with regulated source use to address malicious optimization across the search-to-generation pipeline.
The work systematically evaluates inference-time token merging across a multilingual speech-recognition model family and examines its interaction with parameter-efficient adaptation in lower-resource settings.
The evaluated cost structure is amortizing because substantial deployment expenditure is paid per hired trainer only at setup, while recurring expenditure is markedly smaller and becomes diluted over the federation lifetime.
The proposed contribution is a generalist-oriented prompting method that uses qualitative codebooks to detect cybercrime incidents in consumer narratives with pretrained language models.
A provider-neutral systems-security framework for constraining autonomous AI agents through capability assessment, effective authority, bounded reach, exposure-path analysis, and runtime trajectory assurance.
A vendor-neutral threat model for AI agents that separates model behavior from authorization and maps threats to controls, evidence, tests, and residual risk.
Provenance turns a security claim into a traceable record of source, transformation, review, and intended use—without pretending lineage alone guarantees truth.