← Optimization & Theory
Machine Learning › Optimization & Theory ›

Theory

4950 directly classified papers

Papers per year

Papers

What Do Machine Learning Researchers Mean by “Reproducible”? AAAI 2025
Equilibria of the Colonel Blotto Games with Costs AAAI 2025
(1+1) Genetic Programming with Functionally Complete Instruction Sets Can Evolve Boolean Conjunctions and Disjunctions with Arbitrarily Small Error AAAI 2025
ReproHum #0729-04: Partial reproduction of the human evaluation of the MemSum and NeuSum summarisation systems ACL 2025
Language Models Resist Alignment: Evidence From Data Compression ACL 2025
Formal Synthesis of Safe Kolmogorov-Arnold Network Controllers with Barrier Certificates IJCAI 2025
A Priori Estimation of the Approximation, Optimization and Generalization Errors of Random Neural Networks for Solving Partial Differential Equations IJCAI 2025
Assessing the Exposure to Public Knowledge in Policy-Protected Description Logic Ontologies IJCAI 2025
REGen: A Reliable Evaluation Framework for Generative Event Argument Extraction EMNLP 2025
Efficient Visual Representation Learning with Heat Conduction Equation IJCAI 2025
Polynomial-Time Relational Probabilistic Inference in Open Universes IJCAI 2025
Neuron Similarity-Based Neural Network Verification via Abstraction and Refinement IJCAI 2025
Hallucination Detection in Structured Query Generation via LLM Self-Debating EMNLP 2025
The First Theoretical Approximation Guarantees for the Non-Dominated Sorting Genetic Algorithm III (NSGA-III) IJCAI 2025
Data-Driven Performance Guarantees for Classical and Learned Optimizers JMLR 2025
The Surprising Effectiveness of Infinite-Width NTKs for Characterizing and Improving Model Training AAAI 2025
When LRP Diverges from Leave-One-Out in Transformers EMNLP 2025
Are Large Language Models Fluent in Declarative Process Mining? IJCAI 2025
Theoretical Analysis of Hierarchical Language Recognition and Generation by Transformers without Positional Encoding ACL 2025
Towards Generalizable Neural Simulators: Addressing Distribution Shifts Induced by Environmental and Temporal Variations IJCAI 2025
Dynamic Pseudo Labeling via Gradient Cutting for High-Low Entropy Exploration CVPR 2025
Last-iterate Convergence of Shuffling Momentum Gradient Method under the Kurdyka-Lojasiewicz Inequality JMLR 2025
Toward Interpretable Time Series Modeling: A Kernel Representation Perspective IJCAI 2025
PoWER Never Corrupts: Tool-Agnostic Verification of Crash Consistency and Corruption Detection OSDI 2025
Set-Valued Sensitivity Analysis of Deep Neural Networks AAAI 2025