Health
1353 storiesPublic health and medicine worldwide — sourced from WHO News.
On Synthesis of Metric Interval Temporal Logics
arXiv:2609.01032v1 Announce Type: new Abstract: Automated mining of formal specifications is vital for verifying real-time systems. However, existing passive learning approaches remain restricted to deterministic specifi…
The Multiple Timescales of Gradient Descent on the Edge of Stability: A Perturbative Derivation of the Central Flow
arXiv:2609.01034v1 Announce Type: new Abstract: The central flow of Cohen et al. (2025) is an empirically accurate continuous-time model of gradient descent at the edge of stability in deep learning, However, its derivat…
Spawn Freely, Act Sparingly: Progressive Risk Vesting for Recursive LLM-Agent Trees
arXiv:2609.01035v1 Announce Type: new Abstract: Recursive LLM agents can broaden their search by spawning specialists. Some branches later request tools that send data or deploy code. When should a branch receive authori…
MultiGait: A Multi-Sensor Multi-Perspective Multi-Session Biometric Inference Benchmark and its Dataset
arXiv:2609.01036v1 Announce Type: new Abstract: A lack of suitable datasets has limited the research into the privacy risks of novel smart city sensors, such as thermal cameras, depth cameras, and lidar. Given the number…
A Dynamic Intermediate Representation for Hybrid Quantum-Classical Programs
arXiv:2609.01037v1 Announce Type: new Abstract: Quantum compilers typically follow the circuit model, representing programs as fixed sequences of gates. This static view breaks down in hybrid quantum-classical applicatio…
Data-Driven Persona-Conditioned Agents for A/B Test Simulation
arXiv:2609.01038v1 Announce Type: new Abstract: A/B testing is the gold standard for evaluating product changes, but each experiment requires real user traffic, engineering effort, and weeks of measurement. We propose a …
Causal Evidentiary Governance for High-Risk Machine Learning Systems
arXiv:2609.01040v1 Announce Type: new Abstract: Machine learning systems deployed for credit, hiring, and resource distribution are increasingly subject to regulatory oversight from policies such as the EU AI Act and GDP…
ViTAMINS: An Empirical Study of Training Self-Supervised Vision Transformers with Synthetic Hard Negatives
arXiv:2609.01041v1 Announce Type: new Abstract: We introduce ViTAMINS, a method that integrates synthetic hard negatives into unsupervised vision transformer pretraining to improve representation quality. Our approach is…
From Truncation to Commitment: Persistent Context in Uniform Discrete Diffusion
arXiv:2609.01043v1 Announce Type: new Abstract: Uniform-state discrete diffusion models update all tokens in parallel while keeping every position revisable. Even when the commonly used top-$p$ rule leaves only one candi…
AgentFactory: Towards Automated Agentic System Design and Optimization
arXiv:2609.01045v1 Announce Type: new Abstract: Large Language Models (LLMs) have demonstrated remarkable capabilities as powerful components in agentic systems, enabling sophisticated reasoning and complex task executio…
HiveTraceGuard-Pro: A Compact Generative Guardrail for Prompt Injection, Jailbreaks, and Adversarial Obfuscation
arXiv:2609.01046v1 Announce Type: new Abstract: Production LLMs must handle inputs that attempt to override system instructions, bypass safety policies or elicit harmful responses. A common mitigation is a separate guard…
Lagged Coupling: Internal Representations Become Readable Before They Become Causal
arXiv:2609.01048v1 Announce Type: new Abstract: Across the full Pythia suite (160M-12B, eight checkpoints, four task families), a linear probe can read a target variable from the residual stream as early as step 1,000 at…
QILP-0: Constructing Observational Declarative Twins of Quantum Circuits
arXiv:2609.01049v1 Announce Type: new Abstract: This paper introduces QXymb, a general framework for constructing observational declarative twins of quantum circuits, and develops QILP-0, its first complete order-0 speci…
What Limits Robustness in Deep Image Watermarking: An Analysis of Mechanisms and Their Scaling Across Capacities
arXiv:2609.01050v1 Announce Type: new Abstract: Robustness remains the principal open problem in deep image watermarking, and what limits it becomes sharper as payload grows. This paper asks whether capacity is itself th…
SAGE: Subpopulation-Aware Generative Enhancement for Mitigating Spurious Correlations
arXiv:2609.01051v1 Announce Type: new Abstract: Spurious correlations pose a significant challenge to the robustness of modern machine learning. The inherent imbalance in dataset distributions often leads traditional Emp…
WorldBench: Culturally Grounded Benchmark for Multilingual Agents
arXiv:2609.01056v1 Announce Type: new Abstract: Despite the growing use of LLM-powered agents to solve multi-step tasks in complex environments, existing benchmarks rarely test state preservation, performance across lang…
User Representation via Cross Multi-source Behavior Pre-training for Mobile Games
arXiv:2609.01057v1 Announce Type: new Abstract: User representation pre-training has become a fundamental paradigm for alleviating data sparsity in downstream personalization tasks. However, existing studies predominantl…
ARISE-RL: Agentic Rubric-Grounded Iterative Self-Evolution with Reinforcement Learning
arXiv:2609.01058v1 Announce Type: new Abstract: Training open-ended agents via reinforcement learning (RL) is hindered by the lack of verifiable gold answers and scalable rubrics. Moreover, even near the model's capabili…
Dyn-3D: Unveiling and Resolving Ego-Motion Ambiguity in Vision-Language Models
arXiv:2609.01059v1 Announce Type: new Abstract: As Vision-Language Models (VLMs) tackle dynamic 3D spatial reasoning, ego-motion perception becomes essential to resolve monocular scale ambiguity. However, current models …
Accelerating Reinforcement Learning via MPC Solver-Gradient Guidance for Weights-varying MPC
arXiv:2609.01061v1 Announce Type: new Abstract: In Model Predictive Control (MPC), cost-function weights shape closed-loop behavior, yet changing conditions often make fixed parametrizations suboptimal and motivate conte…