#reachability News & Analysis

3 articles tagged with #reachability. AI-curated summaries with sentiment analysis and key takeaways from 50+ sources.

3 articles

AINeutralarXiv – CS AI · Jun 96/10

🧠

Reachability and asymptotics of Gaussian Transformer dynamics

Researchers have formulated Transformer data propagation as a nonlinear control system and proven that Gaussian distributions remain Gaussian through the network's layers. This reduces infinite-dimensional dynamics to finite-dimensional equations governing mean and covariance evolution, connecting Transformer expressiveness to classical control theory and revealing conditions for stability or divergence.

AINeutralarXiv – CS AI · May 126/10

🧠

Automated Approach for Solving Infinite-state Polynomial Reachability Games

Researchers have developed an automated algorithm for solving infinite-state polynomial reachability games, a class of two-player strategic games with applications in AI and reactive synthesis. The approach introduces ranking certificates as a formal proof mechanism and demonstrates the ability to solve previously intractable problems, including computing optimal strategies for the classical Cinderella-Stepmother game.

AINeutralarXiv – CS AI · May 116/10

🧠

Predictive but Not Plannable: RC-aux for Latent World Models

Researchers present RC-aux, a lightweight auxiliary objective that improves latent world models for planning by addressing the spatiotemporal mismatch between short-horizon prediction training and long-horizon planning deployment. The method adds multi-horizon prediction and budget-conditioned reachability supervision to align learned representations with planning requirements, demonstrating improvements on goal-conditioned control tasks.