Theory

Using Constraint Solvers to Construct Binary Codes with Good Error Correction Performance AAAI 2026 Validating Automatic Evaluation of Controllable Counterspeech Generation: Rankings Matter More Than Scores EACL 2026 What Is the Optimal Ranking Score Between Precision and Recall? We Can Always Find It and It Is Rarely F1 CVPR 2026 When Both Layers Learn: Training Dynamics of Representing Linear Models via ReLU Networks COLT 2026 (1+1) Genetic Programming with Functionally Complete Instruction Sets Can Evolve Boolean Conjunctions and Disjunctions with Arbitrarily Small Error AAAI 2025 A Combinatorial Approach to Neural Emergent Communication COLING 2025 A Continuous-time Tractable Model for Present-biased Agents AAAI 2025 ACT: Knowledgeable Agents to Design and Perform Complex Tasks ACL 2025 A Datalog Rewriting Algorithm for Warded Ontologies IJCAI 2025 Additive Model Boosting: New Insights and Path(ologie)s AISTATS 2025 A First Runtime Analysis of NSGA-III on a Many-Objective Multimodal Problem: Provable Exponential Speedup via Stochastic Population Update IJCAI 2025 A Formal Analysis of Chain-of-Thought Prompting via Turing Reductions IJCNLP 2025 A Formal Framework for Understanding Length Generalization in Transformers ICLR 2025 A Formal Theory of Optimal Learning with Experimental Results IJCAI 2025 A Game-Theoretic Perspective on Inconsistency Handling IJCAI 2025 A Generalizable Anomaly Detection Method in Dynamic Graphs AAAI 2025 Agree to Disagree: Demystifying Homogeneous Deep Ensembles through Distributional Equivalence ICLR 2025 Algorithmic Stability Based Generalization Bounds for Adversarial Training ICLR 2025 Algorithms and Hardness for Active Learning on Graphs ICML 2025 Align-Pro: A Principled Approach to Prompt Optimization for LLM Alignment AAAI 2025 All or None: Identifiable Linear Properties of Next-Token Predictors in Language Modeling AISTATS 2025 A Many-Objective Problem Where Crossover Is Provably Indispensable AAAI 2025 A Measure of the System Dependence of Automated Metrics ACL 2025 A Modal Logic of Optimality (Student Abstract) AAAI 2025 Analyzing Uncertainty of LLM-as-a-Judge: Interval Evaluations with Conformal Prediction EMNLP 2025