Theory

The (Exact) Price of Cardinality for Indivisible Goods: A Parametric Perspective AAAI 2025 The First Theoretical Approximation Guarantees for the Non-Dominated Sorting Genetic Algorithm III (NSGA-III) IJCAI 2025 The Foundations of Tokenization: Statistical and Computational Concerns ICLR 2025 The Fundamental Limits of Recovering Planted Subgraphs (extended abstract) COLT 2025 The Geometry of Prompting: Unveiling Distinct Mechanisms of Task Adaptation in Language Models NAACL 2025 The KoLMogorov Test: Compression by Code Generation ICLR 2025 The Law of Knowledge Overshadowing: Towards Understanding, Predicting, and Preventing LLM Hallucination ACL 2025 Theoretical Analysis of Hierarchical Language Recognition and Generation by Transformers without Positional Encoding ACL 2025 Theoretical Guarantees for Minimum Bayes Risk Decoding ACL 2025 Theoretical Insights in Model Inversion Robustness and Conditional Entropy Maximization for Collaborative Inference Systems CVPR 2025 Theory, Analysis, and Best Practices for Sigmoid Self-Attention ICLR 2025 Theory on Score-Mismatched Diffusion Models and Zero-Shot Conditional Samplers ICLR 2025 The Progress Illusion: Revisiting meta-evaluation standards of LLM evaluators EMNLP 2025 The Role of Deductive and Inductive Reasoning in Large Language Models ACL 2025 These Aren’t the Vectors You’re Looking For: A Proof of Quantum Advantage in Compositional Generalization AACL 2025 The Surprising Effectiveness of Infinite-Width NTKs for Characterizing and Improving Model Training AAAI 2025 The Uniformly Rotated Mondrian Kernel AISTATS 2025 The Value of Recall in Extensive-Form Games AAAI 2025 Things Machine Learning Models Know That They Don’t Know AAAI 2025 ThinkSLM: Towards Reasoning in Small Language Models EMNLP 2025 Tight and Fast Bounds for Multi-Label Learning ICML 2025 Tightening Robustness Verification of MaxPool-based Neural Networks via Minimizing the Over-Approximation Zone CVPR 2025 Tight Runtime Guarantees From Understanding the Population Dynamics of the GSEMO Multi-Objective Evolutionary Algorithm IJCAI 2025 Tiling artifacts and trade-offs of feature normalization in the segmentation of large biological images ICCV 2025 Time Course MechInterp: Analyzing the Evolution of Components and Knowledge in Large Language Models ACL 2025