Theory

Spectra of Cardinality Queries over Description Logic Knowledge Bases AAAI 2025 Speeding Up Hyper-Heuristics With Markov-Chain Operator Selection and the Only-Worsening Acceptance Operator IJCAI 2025 Spherical Dimension COLT 2025 Spiking Transformer with Spatial-Temporal Attention CVPR 2025 Stability and Generalization Capability of Subgraph Reasoning Models for Inductive Knowledge Graph Completion ICML 2025 Stability-based Generalization Analysis of Randomized Coordinate Descent for Pairwise Learning AAAI 2025 State Space Models are Provably Comparable to Transformers in Dynamic Token Selection ICLR 2025 Statistical inference on black-box generative models in the data kernel perspective space ACL 2025 Strategic Conformal Prediction AISTATS 2025 Stress-Testing the Reasoning Competence of Language Models With Formal Proofs EMNLP 2025 StringLLM: Understanding the String Processing Capability of Large Language Models ICLR 2025 Strong Model Collapse ICLR 2025 Structured IB: Improving Information Bottleneck with Structured Feature Learning AAAI 2025 Subjectivity in the Annotation of Bridging Anaphora ACL 2025 Symbolic Neural Ordinary Differential Equations AAAI 2025 Systems with Switching Causal Relations: A Meta-Causal Perspective ICLR 2025 Tab-Shapley: Identifying Top-k Tabular Data Quality Insights AAAI 2025 Temporal-Aware Evaluation and Learning for Temporal Graph Neural Networks AAAI 2025 Tensor Decomposition Meets Knowledge Compilation: A Study Comparing Tensor Trains with OBDDs AAAI 2025 Test-time Augmentation Improves Efficiency in Conformal Prediction CVPR 2025 The 2025 ReproNLP Shared Task on Reproducibility of Evaluations in NLP: Overview and Results ACL 2025 The Art of Deception: Color Visual Illusions and Diffusion Models CVPR 2025 The Computational Complexity of Circuit Discovery for Inner Interpretability ICLR 2025 The Core of Approval-Based Committee Elections with Few Seats IJCAI 2025 The Cost Perspective of Liquid Democracy: Feasibility and Control AAAI 2025