Entity · paper

Formalizing the Binding Problem

paperactiveformalizing-the-binding-problem-9ff9dd26·1 events·first seen Jun 3, 2026

Aliases: Formalizing the Binding Problem

Co-occurring entities

More like this (12)

Constraint Satisfaction Problem Formal Proof Search Do Language Models Dream of Binding Molecules? Benchmarking LLMs under Spatial Constraints OpenBind The Signal-Coverage Matrix: Stratifying Type and Semantic Errors in Statement Autoformalization constraint programming Knowledge Knows, Verbalization Tells: Disentangling Latent Directions for Mathematical Solvability in LLMs Beyond the Commitment Boundary: Probing Epiphenomenal Chain-of-Thought in Large Reasoning Models Looping Is Not Reliability: State-Bound Evidence and Typed Revision Contracts for Agentic Code Repair AIMO Interpretability Challenge When Do Learned Diffusion Proposals Help Constraint Solving? A Controlled Study on Continuous Algebraic Systems Fodor and Pylyshyn's Systematicity Challenge Still Stands

Recent events (1)

5arXiv · cs.LG·Jun 3, 2026·source ↗

Information-theoretic formalization of the binding problem in Vision Transformers

Researchers introduce a formal information-theoretic framework for the binding problem — the challenge of associating features (color, shape) with the correct objects in multi-object scenes. They develop a probing method to measure binding information in model representations and apply it to several pre-trained Vision Transformers, examining components like the [CLS] token and spatial tokens across datasets with feature sharing, occlusion, and natural features. Results position binding information as a key factor in visual recognition and reasoning quality, and suggest current ViT architectures have limited binding capability, consistent with known failure modes.

Evaluation and Benchmarking Multimodal Progress ViT (Vision Transformer)Formalizing the Binding Problem