Research map / Architectures and efficiency / Attention and transformers
Parameterized Abstract Interpretation for Transformer Verification
Read the paperCheck your idea against 108,967 papers
AI-extracted summary. Written by AI from the paper's title only (no summary yet). Numbers and claims can be wrong or missing context, so check the paper before you cite or build on it.
Closest papers by meaning
- A unified framework for establishing the universal approximation of transformer-type architectures (NeurIPS 2025 · similarity 0.85)
- Lower Bounds for Chain-of-Thought Reasoning in Hard-Attention Transformers (ICML 2025 · similarity 0.85)
- Certification from Examples is Hard for Circuits and Transformers under Minimal Overparametrization (NeurIPS 2026 · similarity 0.85)
- GaLileo: General Linear Relaxation Framework for Tightening Robustness Certification of Transformers (AAAI 2024 · similarity 0.84)
- Learning Linear Attention in Polynomial Time (NeurIPS 2025 · similarity 0.84)
- Strassen Attention, Split VC Dimension and Compositionality in Transformers (NeurIPS 2025 · similarity 0.84)
Writing a paper in this area? scime draft is a free LaTeX editor with AI included, real-time co-authors and a check of your references and venue rules before you submit. It also imports OpenAI Prism projects.