Diversifying to Verify: When Task-Equivalent Programs Differ in Verifiability
arXiv:2607.09366v1 Announce Type: cross Abstract: Program verification is crucial for software correctness, but producing fully verified programs remains difficult in…
Riemannian Geometry for Pre-trained Language Model Embeddings
arXiv:2607.07047v2 Announce Type: replace-cross Abstract: Understanding the geometric structure of pre-trained language model embeddings matters for interpretability and safety. We…
Context Graphs for Proactive Enterprise Agents
arXiv:2607.07721v1 Announce Type: new Abstract: Retrieval-Augmented Generation (RAG) and agentic frameworks have advanced enterprise AI considerably, yet agents remain fundamentally…
Behavior Foundations for Quadruped Robots: ABot-C0 Technical Report
arXiv:2607.07370v2 Announce Type: replace-cross Abstract: The motion controller is one of the most fundamental modules in embodied intelligence systems. Driven…
Self-Adaptive Anomaly Detection with Reinforcement Learning and Human Feedback in Connected Vehicles
arXiv:2607.08373v1 Announce Type: cross Abstract: Connected vehicles are autonomous cyber-physical systems whose behavior must be continuously monitored during operation to…
On the Role of Conversational Timing in Synthetic Training Data for ASR
arXiv:2607.08371v1 Announce Type: cross Abstract: Synthetic multi-speaker conversations are widely used to train conversational automatic speech recognition (ASR) systems, but…
Search Beyond What Can Be Taught: Evolving the Knowledge Boundary in Agentic Visual Generation
arXiv:2607.05382v3 Announce Type: replace-cross Abstract: Visual generators excel at rendering, but they confidently fabricate what they do not know. User…
Four questions for AI-ready biological data
Nature Machine Intelligence, Published online: 10 July 2026; doi:10.1038/s42256-026-01270-4 The push to make biological data ‘AI-ready’ is accelerating worldwide. But…