arXiv:2608.28704v1 Announce Type: new Abstract: AI agents increasingly perform long-term reasoning, planning, tool use, memory integration, and autonomous…
Tag: cs.AI updates on arXiv.org
How Language Models Choose Sides: Internal Representations of Instruction Hierarchy
arXiv:2608.28648v1 Announce Type: new Abstract: We study how instruction-tuned LLMs arbitrate direct conflicts between system and user instructions. We…
Self-Specialized Teachers for Domain Post-Training
arXiv:2608.28647v1 Announce Type: new Abstract: Target-only post-training can improve performance in a specialized domain while degrading behaviors that a…
A Generalized Optimization Engine (GOE) for Edge AI Inference Acceleration
arXiv:2608.28652v1 Announce Type: new Abstract: Artificial intelligence (AI) models have demonstrated remarkable capabilities across various domains, yet…
BiasMix-Finance: Post-Generation KYC Guardrails for LLM Portfolio Advice
arXiv:2608.28646v1 Announce Type: new Abstract: Large language models (LLMs) can generate plausible-sounding ETF portfolios while silently violating basic…
From Extraction to Governed Memory: Multi-Agent Knowledge Graph Construction with Domain-Expert Review
arXiv:2608.28642v1 Announce Type: new Abstract: Knowledge graphs used by agentic systems are often treated as flat stores of extracted triples, with…
CrossAudit: A Git-Native, Cross-Vendor Audit Loop for Agentic Science
arXiv:2608.28631v1 Announce Type: new Abstract: An AI scientist should not grade its own homework. Yet in the systems we examined, the agent that reviews…
AI Scientist Mission Control (AIMC): Visual Analytics for Human Oversight of Autonomous Scientific Discovery
arXiv:2608.28637v1 Announce Type: new Abstract: Autonomous scientific discovery systems can generate large numbers of research ideas, experiments, and…
Self-Evolving Skills via Surrogate-Guided Solve-and-Reproduce
arXiv:2608.28638v1 Announce Type: new Abstract: Agent skills are portable packages of instructions and resources an agent consults at deployment.…
Reward-Oracle MCTS for Formal Theorem Proving: Sample-Efficient Search and the Need for Kernel-Level Proof Auditing
arXiv:2608.28639v1 Announce Type: new Abstract: Formal theorem proving with large language models remains challenging due to the difficulty of navigating…