Oct 7, 2024

Inference-Time Agent Security

Nicholas Chen

We take a first step towards automating model building for symbolic checking (eg formal verification, PDDL) of LLM systems.

Reviewer's Comments

Reviewer's Comments

Arrow
Arrow
Arrow
Arrow
Arrow

The focus on inference-time safety is both timely and crucial, and this project does a fantastic job of exploring new ways to keep AI agents secure during operation. It’s a forward-looking project that shines a light on how to maintain security as agents perform their tasks, making it a valuable asset in the world of AI safety!

Interesting framework - I’d love to see its strengths and weaknesses explored by application to a real-life use case.

The methodology proposed in this very sound and novel. Combining formal reasoning with AI and “progressively” building world models for Agent security is both innovative and practical. I would love to see some practical use cases/ case studies in future. Some quantitative metrics or benchmarks for evaluating the effectiveness of the safety system would strengthen the idea.

This work proposes an interesting approach to incremental world model building, with the hope of keeping it formally verifiable, and presents a demo. It seems that the strong foundational claim of symbolic reasoning being feasible in agent contruction in the first place remains unexamined, especially when covered by an extra layer of LLM reasoning.

This project presents an intriguing framework for improving the safety of LLM-based agents by incorporating symbolic reasoning and incremental world model building. The integration of neuro-symbolic techniques, leveraging the strengths of both LLMs and formal methods, is particularly promising. The submission is not complete though, just basic ideas in a repo.

Cite this work

@misc {

title={

Inference-Time Agent Security

},

author={

Nicholas Chen

},

date={

10/7/24

},

organization={Apart Research},

note={Research submission to the research sprint hosted by Apart.},

howpublished={https://apartresearch.com}

}

Recent Projects

Jan 11, 2026

Eliciting Deception on Generative Search Engines

Large language models (LLMs) with web browsing capabilities are vulnerable to adversarial content injection—where malicious actors embed deceptive claims in web pages to manipulate model outputs. We investigate whether frontier LLMs can be deceived into providing incorrect product recommendations when exposed to adversarial pages.

We evaluate four OpenAI models (gpt-4.1-mini, gpt-4.1, gpt-5-nano, gpt-5-mini) across 30 comparison questions spanning 10 product categories, comparing responses between baseline (truthful) and adversarial (injected) conditions. Our results reveal significant variation: gpt-4.1-mini showed 45.5% deception rate, while gpt-4.1 demonstrated complete resistance. Even frontier gpt-5 models exhibited non-zero deception rates (3.3–7.1%), confirming that adversarial injection remains effective against current models.

These findings underscore the need for robust defenses before deploying LLMs in high-stakes recommendation contexts.

Read More

Jan 11, 2026

SycophantSee - Activation-based diagnostics for prompt engineering: monitoring sycophancy at prompt and generation time

Activation monitoring reveals that prompt framing affects a model's internal state before generation begins.

Read More

Jan 11, 2026

Who Does Your AI Serve? Manipulation By and Of AI Assistants

AI assistants can be both instruments and targets of manipulation. In our project, we investigated both directions across three studies.

AI as Instrument: Operators can instruct AI to prioritise their interests at the expense of users. We found models comply with such instructions 8–52% of the time (Study 1, 12 models, 22 scenarios). In a controlled experiment with 80 human participants, an upselling AI reliably withheld cheaper alternatives from users - not once recommending the cheapest product when explicitly asked - and ~one third of participants failed to detect the manipulation (Study 2).

AI as Target: Users can attempt to manipulate AI into bypassing safety guidelines through psychological tactics. Resistance varied dramatically - from 40% (Mistral Large 3) to 99% (Claude 4.5 Opus) - with strategic deception and boundary erosion proving most effective (Study 3, 153 scenarios, AI judge validated against human raters r=0.83).

Our key finding was that model selection matters significantly in both settings. We learned some models complied with manipulative requests at much higher rates. And we found some models readily follow operator instructions that come at the user's expense - highlighting a tension for model developers between serving paying operators and protecting end users.

Read More

This work was done during one weekend by research workshop participants and does not represent the work of Apart Research.
This work was done during one weekend by research workshop participants and does not represent the work of Apart Research.