Similar Items: Encoding Peano Arithmetic in a Minimal Fragment of Separation Logic
- Honey, I Shrunk the Hypothesis Space (Through Logical Preprocessing)
- R-Mod: Minimal Structural Revision of S5 Epistemic Models
- Convergence and complexity of block majorization-minimization for constrained block-Riemannian optimization
- Unsupervised Feature Selection via Nonnegative Orthogonal Constrained Regularized Minimization
- Optimization and Generalization of Gradient Descent for Shallow ReLU Networks with Minimal Width
- From Fragmented Concepts to Structured Insights: A Three-Layer Readiness Taxonomy Across Disciplines