会员服务
MUZZLE: Adaptive Agentic Red-Teaming of Web Agents Against Indirect Prompt Injection Attacks
Arxiv
0+阅读 · 2月9日
ROMA: Recursive Open Meta-Agent Framework for Long-Horizon Multi-Agent Systems
Arxiv
0+阅读 · 2月14日
The Coordination Criterion
Arxiv
0+阅读 · 2月10日
The Double Life of Code World Models: Provably Unmasking Malicious Behavior Through Execution Traces
Arxiv
0+阅读 · 2月5日
VISTA: Enhancing Visual Conditioning via Track-Following Preference Optimization in Vision-Language-Action Models
Arxiv
0+阅读 · 2月4日
Beyond Per-Thread Lock Sets: Multi-Thread Critical Sections and Dynamic Deadlock Prediction
Arxiv
0+阅读 · 2月2日
AgentRx: Diagnosing AI Agent Failures from Execution Trajectories
Arxiv
0+阅读 · 2月2日
AnimatedLLM: Explaining LLMs with Interactive Visualizations
Arxiv
0+阅读 · 1月30日
Sem-NaVAE: Semantically-Guided Outdoor Mapless Navigation via Generative Trajectory Priors
Arxiv
0+阅读 · 2月1日
Predictive Monitoring against Pattern Regular Languages
Arxiv
0+阅读 · 1月8日
Verifying Asynchronous Hyperproperties in Reactive Systems
Arxiv
0+阅读 · 2025年12月29日
Beyond Per-Thread Lock Sets: Multi-Thread Critical Sections and Dynamic Deadlock Prediction
Arxiv
0+阅读 · 2025年12月29日
Checking Satisfiability of Hyperproperties using First-Order Logic
Arxiv
0+阅读 · 2025年12月29日
Generating Verifiable Chain of Thoughts from Exection-Traces
Arxiv
0+阅读 · 2025年12月26日
On the Holographic Geometry of Deterministic Computation
Arxiv
0+阅读 · 2025年12月5日
参考链接
微信扫码咨询专知VIP会员
Top