Clear contributions. Evidence in view.

Featured

From Agent Output to Authorized Transition

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.

AI & Agents · Position / Conceptual

Christopher Koch
Featured

LabFactory: Building and Evaluating Executable AI Labs

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.

AI & Agents · System Artifact

Jinge Wu, Hongjian Zhou, Mingde Zeng et al.

All Research

Latest Research · Browse by domain and research kind.

30 articles

Reset
Research Brief

Multimodal Thinking with Renderable Programs

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.

Machine Learning · Empirical

3 min read
Featured

From Agent Output to Authorized Transition

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.

AI & Agents · Position / Conceptual

5 min read
Featured

LabFactory: Building and Evaluating Executable AI Labs

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.

AI & Agents · System Artifact

3 min read
Research Brief

Soundness Checking of Taint Flow Models

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.

Security · System Artifact

3 min read
Research Brief

When Labels Are Scarce: An Oscillatory State Space Model for Vibration Diagnosis

DualRes combines aligned spectral resolutions with normalized selective oscillatory updates; the paper’s evaluation contribution uses recording-level splits and explicit duration accounting to distinguish labelled exposure, recording coverage, and operating-condition shift.

Machine Learning · Empirical

4 min read
Research Brief

Epistemic-Probabilistic Model for Guarded Multi-Agent LLM Coordination

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.

AI & Agents · Position / Conceptual

4 min read
Research

Using Codebooks to Detect Cybercrime Topics in Text Narratives

The proposed contribution is a generalist-oriented prompting method that uses qualitative codebooks to detect cybercrime incidents in consumer narratives with pretrained language models.

Machine Learning · Empirical

2 min read
Research

Capability × Authority × Reach

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.

Research

Research

Why Provenance Matters in Security Intelligence

Provenance turns a security claim into a traceable record of source, transformation, review, and intended use—without pretending lineage alone guarantees truth.

Research