Tighter Truncated Rectangular Prism Approximation for RNN Robustness Verification
Fuente:
arXiv
Guardado en:
| Autores principales: | Lin, Xingqi, Chen, Liangyu, Wu, Min, Zhang, Min, Zeng, Zhenbing |
|---|---|
| Formato: | Preprint |
| Publicado: |
2025
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
Ejemplares similares
Tighter Regret Bounds for Contextual Action-Set Reinforcement Learning
por: Chen, Zijun, et al.
Publicado: (2026)
por: Chen, Zijun, et al.
Publicado: (2026)
PrismFlow: Residual Dynamics for Flow Matching in Time-Series Generation
por: Zhang, Junru, et al.
Publicado: (2026)
por: Zhang, Junru, et al.
Publicado: (2026)
Provably Efficient Algorithms for S- and Non-Rectangular Robust MDPs with General Parameterization
por: Satheesh, Anirudh, et al.
Publicado: (2026)
por: Satheesh, Anirudh, et al.
Publicado: (2026)
Attention as an RNN
por: Feng, Leo, et al.
Publicado: (2024)
por: Feng, Leo, et al.
Publicado: (2024)
A Finite Sample Analysis of Distributional TD Learning with Linear Function Approximation
por: Peng, Yang, et al.
Publicado: (2025)
por: Peng, Yang, et al.
Publicado: (2025)
The Cost of Robustness: Tighter Bounds on Parameter Complexity for Robust Memorization in ReLU Nets
por: Kim, Yujun, et al.
Publicado: (2025)
por: Kim, Yujun, et al.
Publicado: (2025)
Approximate Stein Classes for Truncated Density Estimation
por: Williams, Daniel J., et al.
Publicado: (2023)
por: Williams, Daniel J., et al.
Publicado: (2023)
Tighter sparse variational Gaussian processes
por: Bui, Thang D., et al.
Publicado: (2025)
por: Bui, Thang D., et al.
Publicado: (2025)
Tighter Generalisation Bounds via Interpolation
por: Viallard, Paul, et al.
Publicado: (2024)
por: Viallard, Paul, et al.
Publicado: (2024)
Prism: Efficient Test-Time Scaling via Hierarchical Search and Self-Verification for Discrete Diffusion Language Models
por: Bai, Jinbin, et al.
Publicado: (2026)
por: Bai, Jinbin, et al.
Publicado: (2026)
Tighter Confidence Bounds for Sequential Kernel Regression
por: Flynn, Hamish, et al.
Publicado: (2024)
por: Flynn, Hamish, et al.
Publicado: (2024)
Solving Non-Rectangular Reward-Robust MDPs via Frequency Regularization
por: Gadot, Uri, et al.
Publicado: (2023)
por: Gadot, Uri, et al.
Publicado: (2023)
Orthogonal Approximate Message Passing with Optimal Spectral Initializations for Rectangular Spiked Matrix Models
por: Chen, Haohua, et al.
Publicado: (2025)
por: Chen, Haohua, et al.
Publicado: (2025)
Tighter Risk Bounds for Mixtures of Experts
por: Akretche, Wissam, et al.
Publicado: (2024)
por: Akretche, Wissam, et al.
Publicado: (2024)
A Tighter Convergence Proof of Reverse Experience Replay
por: Jiang, Nan, et al.
Publicado: (2024)
por: Jiang, Nan, et al.
Publicado: (2024)
Orthogonal Approximate Message Passing Algorithms for Rectangular Spiked Matrix Models with Rotationally Invariant Noise
por: Chen, Haohua, et al.
Publicado: (2026)
por: Chen, Haohua, et al.
Publicado: (2026)
A Fast, Robust Elliptical Slice Sampling Implementation for Linearly Truncated Multivariate Normal Distributions
por: Wu, Kaiwen, et al.
Publicado: (2024)
por: Wu, Kaiwen, et al.
Publicado: (2024)
A real-time battle situation intelligent awareness system based on Meta-learning & RNN
por: Li, Yuchun, et al.
Publicado: (2025)
por: Li, Yuchun, et al.
Publicado: (2025)
Prism: Symbolic Superoptimization of Tensor Programs
por: Wu, Mengdi, et al.
Publicado: (2026)
por: Wu, Mengdi, et al.
Publicado: (2026)
Tighter Performance Theory of FedExProx
por: Anyszka, Wojciech, et al.
Publicado: (2024)
por: Anyszka, Wojciech, et al.
Publicado: (2024)
Dual Formulation for Non-Rectangular Lp Robust Markov Decision Processes
por: Kumar, Navdeep, et al.
Publicado: (2025)
por: Kumar, Navdeep, et al.
Publicado: (2025)
Efficient Algorithms for Robust Markov Decision Processes with $s$-Rectangular Ambiguity Sets
por: Ho, Chin Pang, et al.
Publicado: (2026)
por: Ho, Chin Pang, et al.
Publicado: (2026)
Unifying Qualitative and Quantitative Safety Verification of DNN-Controlled Systems
por: Zhi, Dapeng, et al.
Publicado: (2024)
por: Zhi, Dapeng, et al.
Publicado: (2024)
RotRNN: Modelling Long Sequences with Rotations
por: Biegun, Kai, et al.
Publicado: (2024)
por: Biegun, Kai, et al.
Publicado: (2024)
Achieving Tighter Finite-Time Rates for Heterogeneous Federated Stochastic Approximation under Markovian Sampling
por: Zhu, Feng, et al.
Publicado: (2025)
por: Zhu, Feng, et al.
Publicado: (2025)
To MRL or not to MRL: Text Embeddings are Robust to Truncation Without Matryoshka Learning, Except In Heavy Truncation Scenarios
por: Takeshita, Sotaro, et al.
Publicado: (2026)
por: Takeshita, Sotaro, et al.
Publicado: (2026)
Posterior Sampling-Based Bayesian Optimization with Tighter Bayesian Regret Bounds
por: Takeno, Shion, et al.
Publicado: (2023)
por: Takeno, Shion, et al.
Publicado: (2023)
Label-NTK Alignments and A Tighter Convergence Bound in the NTK Regime
por: Marreddy, Ruchirinkil, et al.
Publicado: (2026)
por: Marreddy, Ruchirinkil, et al.
Publicado: (2026)
PGN: The RNN's New Successor is Effective for Long-Range Time Series Forecasting
por: Jia, Yuxin, et al.
Publicado: (2024)
por: Jia, Yuxin, et al.
Publicado: (2024)
Non-Rectangular Average-Reward Robust MDPs: Optimal Policies and Their Transient Values
por: Wang, Shengbo, et al.
Publicado: (2026)
por: Wang, Shengbo, et al.
Publicado: (2026)
Model-Based Reinforcement Learning with Multinomial Logistic Function Approximation
por: Hwang, Taehyun, et al.
Publicado: (2022)
por: Hwang, Taehyun, et al.
Publicado: (2022)
Neural Networks with Sparse Activation Induced by Large Bias: Tighter Analysis with Bias-Generalized NTK
por: Yang, Hongru, et al.
Publicado: (2023)
por: Yang, Hongru, et al.
Publicado: (2023)
HistoPrism: Unlocking Functional Pathway Analysis from Pan-Cancer Histology via Gene Expression Prediction
por: Hu, Susu, et al.
Publicado: (2026)
por: Hu, Susu, et al.
Publicado: (2026)
In-Context Learning through the Bayesian Prism
por: Panwar, Madhur, et al.
Publicado: (2023)
por: Panwar, Madhur, et al.
Publicado: (2023)
Tightening Robustness Verification of MaxPool-based Neural Networks via Minimizing the Over-Approximation Zone
por: Xiao, Yuan, et al.
Publicado: (2022)
por: Xiao, Yuan, et al.
Publicado: (2022)
STaR-Bets: Sequential Target-Recalculating Bets for Tighter Confidence Intervals
por: Voráček, Václav, et al.
Publicado: (2025)
por: Voráček, Václav, et al.
Publicado: (2025)
Convolutional Rectangular Attention Module
por: Nguyen, Hai-Vy, et al.
Publicado: (2025)
por: Nguyen, Hai-Vy, et al.
Publicado: (2025)
Can Implicit Bias Imply Adversarial Robustness?
por: Min, Hancheng, et al.
Publicado: (2024)
por: Min, Hancheng, et al.
Publicado: (2024)
Exploring Human-AI Conceptual Alignment through the Prism of Chess
por: Lomasov, Semyon, et al.
Publicado: (2025)
por: Lomasov, Semyon, et al.
Publicado: (2025)
RelPrism: A Multi-Faceted Pre-training Framework with Self-Generated Tasks for Relational Databases
por: Yang, Jinyu, et al.
Publicado: (2026)
por: Yang, Jinyu, et al.
Publicado: (2026)
Ejemplares similares
-
Tighter Regret Bounds for Contextual Action-Set Reinforcement Learning
por: Chen, Zijun, et al.
Publicado: (2026) -
PrismFlow: Residual Dynamics for Flow Matching in Time-Series Generation
por: Zhang, Junru, et al.
Publicado: (2026) -
Provably Efficient Algorithms for S- and Non-Rectangular Robust MDPs with General Parameterization
por: Satheesh, Anirudh, et al.
Publicado: (2026) -
Attention as an RNN
por: Feng, Leo, et al.
Publicado: (2024) -
A Finite Sample Analysis of Distributional TD Learning with Linear Function Approximation
por: Peng, Yang, et al.
Publicado: (2025)