Theory

Consistent Query Answering over Existential Rules with Open and Closed Predicates AAAI 2025 Constrained Serial Dictatorships Can Be Fair IJCAI 2025 Contract-based Design and Verification of Multi-Agent Systems with Quantitative Temporal Requirements AAAI 2025 Contrasting Adversarial Perturbations: The Space of Harmless Perturbations AAAI 2025 Convergence Analysis for General Probability Flow ODEs of Diffusion Models in Wasserstein Distances AISTATS 2025 Convergence and Divergence of Language Models under Different Random Seeds EMNLP 2025 Convergence of Score-Based Discrete Diffusion Models: A Discrete-Time Analysis ICLR 2025 Counterfactual Explanations Under Model Multiplicity and Their Use in Computational Argumentation IJCAI 2025 Cross-Entropy Is All You Need To Invert the Data Generating Process ICLR 2025 Cross-Lingual Pitfalls: Automatic Probing Cross-Lingual Weakness of Multilingual Large Language Models ACL 2025 CS-Bench: A Comprehensive Benchmark for Large Language Models towards Computer Science Mastery ICLR 2025 Cultivating Archipelago of Forests: Evolving Robust Decision Trees Through Island Coevolution AAAI 2025 Current Semantic-change Quantification Methods Struggle with Discovery in the Wild EMNLP 2025 Data-Driven Performance Guarantees for Classical and Learned Optimizers JMLR 2025 Date Fragments: A Hidden Bottleneck of Tokenization for Temporal Reasoning EMNLP 2025 DateLogicQA: Benchmarking Temporal Biases in Large Language Models NAACL 2025 DECAF: A Dynamically Extensible Corpus Analysis Framework ACL 2025 Deep Generative Models: Complexity, Dimensionality, and Approximation JMLR 2025 Deep Neural Networks are Adaptive to Function Regularity and Data Distribution in Approximation and Estimation JMLR 2025 DeLLMa: Decision Making Under Uncertainty with Large Language Models ICLR 2025 Demystifying the Token Dynamics of Deep Selective State Space Models ICLR 2025 Demystifying Topological Message-Passing with Relational Structures: A Case Study on Oversquashing in Simplicial Message-Passing ICLR 2025 Deterministic Certification of Graph Neural Networks against Graph Poisoning Attacks with Arbitrary Perturbations CVPR 2025 Diagnosing Memorization in Chain-of-Thought Reasoning, One Token at a Time EMNLP 2025 DICE: Data Influence Cascade in Decentralized Learning ICLR 2025