Theory

Runtime Protocol Refinement Checking for Distributed Protocol Implementations NSDI 2025 Sandcastles in the Storm: Revisiting the (Im)possibility of Strong Watermarking ACL 2025 Scalable Multi-Stage Influence Function for Large Language Models via Eigenvalue-Corrected Kronecker-Factored Parameterization IJCAI 2025 Scaling Capability in Token Space: An Analysis of Large Vision Language Model JMLR 2025 Scaling Laws Are Unreliable for Downstream Tasks: A Reality Check EMNLP 2025 Scaling Laws for Precision ICLR 2025 Scendi Score: Prompt-Aware Diversity Evaluation via Schur Complement of CLIP Embeddings ICCV 2025 Self-Improvement Towards Pareto Optimality: Mitigating Preference Conflicts in Multi-Objective Alignment ACL 2025 Semantic Causality-Aware Vision-Based 3D Occupancy Prediction ICCV 2025 Semialgebraic Neural Networks: From roots to representations ICLR 2025 Sensitivity Verification for Additive Decision Tree Ensembles ICLR 2025 Sentence-level Aggregation of Lexical Metrics Correlates Stronger with Human Judgements than Corpus-level Aggregation AAAI 2025 Set-Valued Sensitivity Analysis of Deep Neural Networks AAAI 2025 Shallow diffusion networks provably learn hidden low-dimensional structure ICLR 2025 Sharper Error Bounds in Late Fusion Multi-view Clustering with Eigenvalue Proportion Optimization AAAI 2025 Shifting the Paradigm: A Diffeomorphism Between Time Series Data Manifolds for Achieving Shift-Invariancy in Deep Learning ICLR 2025 Solving MDPs with LTLf+ and PPLTL+ Temporal Objectives IJCAI 2025 Something’s Fishy in the Data Lake: A Critical Re-evaluation of Table Union Search Benchmarks ACL 2025 SPACETIME: Causal Discovery from Non-Stationary Time Series AAAI 2025 Sparse Latents Steer Retrieval-Augmented Generation ACL 2025 Sparse Transfer Learning Accelerates and Enhances Certified Robustness: A Comprehensive Study AAAI 2025 SPD: Shallow Backdoor Protecting Deep Backdoor Against Backdoor Detection ICCV 2025 SPECS: Specificity-Enhanced CLIP-Score for Long Image Caption Evaluation EMNLP 2025 Spectral Estimators for Multi-Index Models: Precise Asymptotics and Optimal Weak Recovery COLT 2025 SpectralGap: Graph-Level Out-of-Distribution Detection via Laplacian Eigenvalue Gaps IJCAI 2025