ai-agents

Documents about ai-agents

• Extending concurrent separation logic to the hardware level to verify the xv6 OS kernel on RISC-V with AI agents#926888arXiv (All)
• DianShi-RxnDB: A Large-Scale, Fine-Grained Organic Reaction Data Platform Built via a Fully Automated Pipeline for Researchers and AI Agents#974802arXiv (All)
• Taming the Agentic RAN: Stability-Guaranteed Arbitration of Autonomous AI Agents in O-RAN#1013015arXiv (All)
• Extending concurrent separation logic to the hardware level to verify the xv6 OS kernel on RISC-V with AI agents#1043168arXiv CS
• Adoption and Impact of Command-Line AI Coding Agents: A Study of Microsoft's Early 2026 Rollout of Claude Code and GitHub Copilot CLI#332615arXiv CS
• The Cognitive Symphony Hypothesis: Causal Evidence from Ablation Experiments on Multi-Layer Cognitive Coordination in AI Writing#253461Figshare
• A Comprehensive Review Tracing the Evolution of Volumetric Medical Imaging Analysis from Classic CNNs to Emerging AI-Agents#431828Springer Nature OA
• Optimización de Carteras de Inversión mediante un Sistema Inteligente Basado en el Perfil de Riesgo#428393Repositorio Institucional de la Universidad de Granada
• The Human-Machine Feedback Loop: Analyzing Algorithmic Extraction, Cognitive Myelination, and Systemic Asymmetry in Low-Resource Digital Sandboxes#299454Zenodo (CERN)
• The reach of a verification tool decides its value: A controlled study of verification surface, artifact quality, and cost in AI coding agents#789029arXiv (OAI Expanded)
• The reach of a verification tool decides its value: A controlled study of verification surface, artifact quality, and cost in AI coding agents#793033arXiv (All)
• Agent in Action: An LLM Based Agentic Approach for Breaking Change Detection in Python Open Source Packages#442199DigitalCommons@Kennesaw State University
• Zero-Knowledge Predicate Proofs Between AI Agents: A Measured, Cross-Protocol Gateway and the Source-Integrity Gap#797893arXiv (OAI Expanded)
• Zero-Knowledge Predicate Proofs Between AI Agents: A Measured, Cross-Protocol Gateway and the Source-Integrity Gap#799316arXiv (All)
• AI-Research Agents in the Wild. From GitHub and arXiv to Regularities and Gaps#999958arXiv (All)
• Humanlike Self-Enhancement and Self-Protection in GPT-Based AI Agents: Of Overclaiming and the Self-Serving Bias#342843OSF
• From obligation to enforcement: mapping EU AI act and CRA cybersecurity requirements to technical controls for LLM-based autonomous agents#1002127Springer Nature OA
• Writing as an Experimental Platform for AI Cognition: A Research Agenda#253456Figshare
• An Empirical Cost Attribution of Context-Compression Gateways in Multi-Turn Coding Agents#1036797arXiv (All)