arXiv:2608.17304v1 Announce Type: cross Abstract: Formal verification is a crucial technique for ensuring the functional correctness of hardware designs.…
Category: AI
Beyond MSE: Rethinking the Evaluation Metric and Benchmarking for Irregular Time Series Forecasting
arXiv:2608.17293v1 Announce Type: cross Abstract: Existing research on irregular time-series forecasting has primarily focused on model design, while…
When Agents Act on Web3: An Attack-Surface Survey of MCP, Skills, and Tool Calling
arXiv:2608.17275v1 Announce Type: cross Abstract: AI agents increasingly act rather than merely read: across the Model Context Protocol (MCP) ecosystem,…
Understanding Curriculum Learning in Large Language Models via Cross-Difficulty Optimization Dynamics
arXiv:2608.17268v1 Announce Type: cross Abstract: Curriculum learning has been widely adopted in the post-training of large language models by organizing…
Learning Where and What to Lift for Bi-planar X-ray-to-CT Reconstruction
arXiv:2608.17255v1 Announce Type: cross Abstract: X-ray imaging can be approximately modeled as the projection of an underlying volumetric attenuation…
Amazon makes its AI-powered Alexa+ free on Fire TV, no Prime required
Amazon is making its AI-powered Alexa+ assistant free on all compatible Fire TV devices in the U.S., automatically upgrading users whether or not they…
Rethinking Irregular Time Series Forecasting from the Perspective of Basis Functions
arXiv:2608.17284v1 Announce Type: cross Abstract: Irregular time series forecasting is crucial in many domains, such as healthcare and meteorological…
Replit expands access to software creation with GPT-5.6 Luna
Replit introduces Free Mode, powered by GPT-5.6 Luna, so anyone can turn ideas into working software without worrying about token costs.
Nonadaptive Learning in Robust Nonlinear Output Regulation
arXiv:2608.17262v1 Announce Type: cross Abstract: This paper considers robust nonadaptive regulation for general nonlinear systems in an output-feedback…
Co-RL: Unsupervised Reasoning Emerges from Diverse Cohort in Multi-agent RL
arXiv:2608.17253v1 Announce Type: cross Abstract: Reinforcement learning (RL) has emerged as a powerful approach for improving reasoning in language and…